Clausal Language

Clausal Language

(language)(CL) A programming language and proof systemdeveloped by Paul Voda and a colleague since 1997, written inTrilogy II.

Paul Voda Home.