VDict - Definition of F-Logic

Computing (FOLDOC) dictionary

F-Logic

Jump to user comments

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)

Related search result for "F-Logic"

Words pronounced/spelled similarly to "F-Logic":
F-Logic FLIC
Words contain "F-Logic" in its definition in Computing (FOLDOC) dictionary:
neutrosophic logic propositional logic predicate logic equational logic EQLog logic Emitter Coupled Logic Algebraic Logic Functional language F+L LeFun more...

Comments and discussion on the word "F-Logic"