// Prolog