ontic

from The Free On-line Dictionary of Computing (8 July 2008)

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)