Edinburgh Prolog Implementation

*Prolog 1 Augmentation of
1