Conjugation of Prolog

See: