Clausal Language

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.
Mentioned in ?