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 1984].

(1994-12-08)