You are here: irt.org | FOLDOC | 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://fmph.uniba.sk/~voda).
(2002-05-28)
Nearby terms: class object « Class Oriented Ring Associated Language « Class-Relation Method « Clausal Language » clause » Clean » clean
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL