资料来源 : Free On-Line Dictionary of Computing

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)