1. TYPOL A specialised logic programming language. ["TYPOL: A Formalism to Implement Natural Semantics", T. Despeyroux, RR 94, INRIA, 1988].
typol | typolite | typology |