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)].