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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: floating point underflow « Floating-Point Unit « floating underflow « F-Logic » flood » FLOP » Floppy