<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: <k-hata@air.co.jp>.
["Unique Features of ESP", T. Chikayama, Proc Intl Conf 5th
Gen Comp Sys, ICOT 1984].
(1994-12-08)
Nearby terms:
Extended Memory Specification « Extended ML « Extended Pascal « Extended Self-containing Prolog » Extended System Configuration Data » Extended Tcl » Extended Tiny
