Extended Self-containing Prolog
<language> (ESP) An object-oriented extension of KL0 by Chikayama. ESP
has backtracking-based control, unification-based parameter passing and
object-oriented calling. An object in ESP is an axiom set. A class definition
consists of nature definitions (inheritance), slot definitions (class variables)
and clause definitions. ESP has multiple inheritance similar to Flavors. It has
been implemented for ICOT's PSI Sequential Inference machine.
See also CESP.
E-mail: <[email protected]>.
["Unique Features of ESP", T. Chikayama, Proc Intl Conf 5th Gen Comp Sys, ICOT
Extended Memory Specification « Extended ML «
Extended Pascal « Extended Self-containing Prolog
» Extended System Configuration Data » Extended Tcl
» Extended Tiny