PHOCUS

An object-oriented Prolog-like language.

["PHOCUS: Production Rules, Horn Clauses, Objects and Contexts

in a Unification Based System", D. Chan et al, Actes du Sem

Prog et Logique, Tregastel (May 1987), pp. 77-108].

(1994-11-09)