ECRC-Prolog Evidently {Prolog} with {coroutine} extensions. See also {SEPIA}. ["ECRC-Prolog User's Manual Version 1.0", K. Estenfeld, TR-LP-08 ECRC, Feb 1986]. (1994-12-01)