Extended Self-containing Prolog


Extended Self-containing Prolog

(language)(ESP) An object-oriented extension of KL0 byChikayama. ESP has backtracking-based control,unification-based parameter passing and object-orientedcalling. An object in ESP is an axiom set. A classdefinition consists of nature definitions (inheritance),slot definitions (class variables) and clause definitions.ESP has multiple inheritance similar to Flavors. It hasbeen implemented for ICOT's PSI Sequential Inferencemachine.

See also CESP.

E-mail: .

["Unique Features of ESP", T. Chikayama, Proc Intl Conf 5thGen Comp Sys, ICOT 1984].