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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?