Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
Extended Self-containing Prolog
Jump to user comments
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
See also CESP.
E-mail: [email protected].