typol

from The Free On-line Dictionary of Computing (8 July 2008)

TYPOL

   <language> A specialised {logic programming} language.

   ["TYPOL: A Formalism to Implement Natural Semantics",
   T. Despeyroux, RR 94, INRIA, 1988].

   (1994-10-31)