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