TYPOL

A specialized logic programming language.

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