Standard ECRC Prolog Integrating Applications. Prolog with manY extensions including attributed variables ("metaterms") and declarative coroutining. "SEPIA", Micha Meier et al, TR-LP-36 ECRC, March 1988. Version 3.1 available for Suns and VAX. (See ECRC-Prolog). E-mail: .