TYPOL

TYPOL

(language)A specialised logic programming language.

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