F-LogicAn 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
Floating-Point Unit ♦ floating underflow ♦ F-Logic ♦ flood ♦ FLOP ♦ Floppy
Try this search on Wikipedia, Wiktionary, Google, OneLook.