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].

Last updated: 1994-10-20

Nearby terms:

Floating-Point Unitfloating underflowF-LogicfloodFLOPFloppy

Try this search on Wikipedia, OneLook, Google


Loading