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].
| < Previous Terms | Terms Containing F-Logic | Next Terms > |
| Floating-Point SPECrate Floating-Point SPECratio floating point underflow Floating-Point Unit floating underflow | F-Logic | flood FLOP Floppy floppy floppy disk |
