Contents......Page 2
Introduction......Page 5
Object-oriented vs Declarative Programming......Page 6
F-Logic by Example......Page 8
Syntax......Page 16
F-Structures......Page 19
Satisfaction of F-Formulas by F-Structures......Page 22
Predicates & their Semantics......Page 24
Properties of the Equality......Page 26
Properties of Signature Expressions......Page 27
Miscellaneous Properties......Page 28
Skolemization & Clausal Form......Page 29
Herbrand Structures......Page 30
Correspondence btw H-Structures & F-Structures......Page 31
Herbrand Theorem......Page 32
Proof Theory......Page 33
Substitutions & Unifiers......Page 34
Core Inference Rules......Page 36
Type Inference Rules......Page 37
Miscellaneous Inference Rules......Page 38
Remarks......Page 40
Completeness of the Proof Theory......Page 41
Data Modeling in F-Logic......Page 43
Logic Programs & their Semantics......Page 44
Examples of IS-A Hierarchies......Page 47
Examples of Type Declarations......Page 48
Examples of Object Bases......Page 49
Well-Typed Programs & Type Errors......Page 55
Encapsulation......Page 59
Example......Page 60
Modules & Type Correctness......Page 61
Structural Inheritance......Page 63
Behavioral Inheritance......Page 64
Strategies for Overriding Behavioral Inheritance......Page 73
Empty Sets vs Undefined Values......Page 75
Complex Values......Page 76
Primary Classes & Immediate Superclasses......Page 78
Version Control......Page 79
Sorted F-Logic & its Uses......Page 80
Multiset-valued Methods......Page 81
F-Logic & Dynamic Behavior......Page 82
Anatomy of F-Logic......Page 84
Conclusion......Page 87
Preliminary Definitions......Page 88
Revised Definitions......Page 90
Stratification for Inheritance......Page 92
Perfect Models defined......Page 93
Examples......Page 94
Unification Algorithm for F-Molecules......Page 95
Refs......Page 97