The Free On-line Dictionary of Computing (30 December 2018):

Clausal 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)