Ontic - Object-oriented language for an inference system. LISP-like
appearance, but based on set theory. "Ontic: A Knowledge Representation
System for Mathematics", D.A. McAllester, MIT Press 1989.
Comments, Experience, Additions
Next Language: O`small