SEPIA

Standard ECRC Prolog Integrating Applications

Prolog with many extensions including attributed variables ("metaterms") and declarative coroutining. See ECRC-Prolog.

"SEPIA", Micha Meier et al, TR-LP-36 ECRC, March 1988.