Source : Free On-Line Dictionary of Computing

Ontic
     
         {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)