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