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

< Previous Terms Terms Containing Extended Self-containing Prolog Next Terms >
extended memory
extended memory manager
Extended Memory Specification
Extended ML
Extended Pascal
Common ESP
Extended System Configuration Data
Extended Tcl
Extended Tiny
Extended Video Graphics Array
eXtended Video Graphics Array