Prolog II

Prolog with two new predicates: 'dif' for coroutines and 'freeze' for delayed evaluation.

"Prolog II Reference Manual and Theoretical Model", A. Colmerauer, Internal Report, GroupeIA, University of Aix-Marseille (Oct 1982).