You are here: irt.org | FOLDOC | Ontic
<language> Object-oriented language for an inference system with a Lisp-like appearance, but based on set theory.
["Ontic: A Knowledge Representation System for Mathematics", D.A. McAllester, MIT Press 1989].
(1996-06-24)
Nearby terms: On-line Process Synthesizer « Online Public Access Catalog « On-Line Transaction Processing « Ontic » onto » ontology » OnX
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