Ontic

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)