| 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]. |
About this site and copyright information - Online Dictionary Home