F-Logic


F-Logic

An object-oriented language and deductive database system.

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