clausal language

from The Free On-line Dictionary of Computing (8 July 2008)

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)