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: .