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

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