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://www.fmph.uniba.sk/~voda).



< Previous Terms Terms Containing Clausal Language Next Terms >
Classless Inter-Domain Routing
class library
class method
Class Oriented Ring Associated Language
Class-Relation Method
 CL
 clause
Clean
clean
Cleanroom
CLEAR