CL(ID:5505/cl:003)

for Clausal Language

Programming language and proof system developed by Paul Voda and a colleague since 1997, written in Trilogy II.

complete Written using