PROLOG

Definition of PROLOG