Ontic

Ontic means "having real existence"

An object-oriented language for an inference system. LISP-like appearance, but based on set theory.

"Ontic: A Knowledge Representation System for Mathematics", David A. McAllester, MIT Press, 1989.