Typol

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  TYPOL
       
          A specialised {logic programming} language.
       
          ["TYPOL: A Formalism to Implement Natural Semantics",
          T. Despeyroux, RR 94, INRIA, 1988].


       
          (1994-10-31)