You are here: irt.org | FOLDOC | 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)
Nearby terms: floating point underflow « Floating-Point Unit « floating underflow « F-Logic » flood » FLOP » Floppy
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL