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