Flogic

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [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)