Prolog with two new predicates: "dif" for coroutines and "freeze" for delayed evaluation.
Available from ExperIntelligence, Santa Barbara CA.
["Prolog II Reference Manual and Theoretical Model", A. Colmerauer, Internal Report, GroupeIA, U Aix-Marseille (Oct 1982)].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Prolog++ « Prolog-2 « Prolog-D-Linda « Prolog-II » Prolog-III » Prolog-Linda » Prolog/Mali
