H ? « »

Language peer sets for F-Logic:
Designed 1989
1980s languages
Fifth generation
Late Cold War


alternate simple view
Designed 1989
Published: 1989

Higher-order language for reasoning about objects, inheritance and scheme

Related languages
F-Logic SiLRI   Based on

  • Kifer, M., and Lausden, G. (1989) Kifer, M., and Lausden, G. ""F-Logic: A Higher-Order Language for Reasoning about Objects, Inheritance, and Schema", pp134-146 Abstract
          in [ACM] (1989) [ACM] Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, May 1989
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder