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