clausal language

1 definition found

clausal language - Free On-line Dictionary of Computing (26 May 2007) :

  Clausal Language
  
     <language> (CL) A programming language and proof system
     developed by Paul Voda and a colleague since 1997, written in
     Trilogy II.
  
     Paul Voda Home (http://fmph.uniba.sk/~voda).
  
     (2002-05-28)