Notes concerning “Prolog”