1. Extended Self-containing Prolog 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 ICOTs PSI Sequential Inference machine. See also CESP. E-mail: co. jp>. ["Unique Features of ESP", T. Chikayama, Proc Intl Conf 5th Gen Comp Sys, ICOT 1984].
extended self-containing prolog |
