f-logic

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

F-Logic

   An {object-oriented} language and {deductive database} system.

   ["F-Logic: A Higher-Order Language for Reasoning about
   Objects, Inheritance and Scheme", ACM SIGMOD May 1989,
   pp. 134-146].

   (1994-10-20)