Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Clausal Language

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).


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

©2018 Martin Webb