Prologs

Definition of Prologs