Source : Free On-Line Dictionary of Computing

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)