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