This paper introduces Frame Logic (F-logic), a formalism that captures key features of object-oriented and frame-based languages in a clean and declarative way. F-logic provides a model-theoretic semantics and a sound and complete resolution-based proof theory. It directly represents fundamental object-oriented concepts such as object identity, complex objects, inheritance, and polymorphic types. F-logic is suitable for defining, querying, and manipulating database schemas. It is a full-fledged logic that combines the strengths of object-oriented and deductive programming paradigms. F-logic is particularly useful for knowledge representation and reasoning, as it supports higher-order capabilities and can be extended with other logics such as HiLog and Transaction Logic. The paper discusses the relationship between object-oriented and relational paradigms, the syntax and semantics of F-logic, and various semantic properties of the logic. It also covers typing, encapsulation, inheritance, and data modeling. The paper concludes with a discussion of the internal structure of F-logic and its relationship to classical predicate calculus.This paper introduces Frame Logic (F-logic), a formalism that captures key features of object-oriented and frame-based languages in a clean and declarative way. F-logic provides a model-theoretic semantics and a sound and complete resolution-based proof theory. It directly represents fundamental object-oriented concepts such as object identity, complex objects, inheritance, and polymorphic types. F-logic is suitable for defining, querying, and manipulating database schemas. It is a full-fledged logic that combines the strengths of object-oriented and deductive programming paradigms. F-logic is particularly useful for knowledge representation and reasoning, as it supports higher-order capabilities and can be extended with other logics such as HiLog and Transaction Logic. The paper discusses the relationship between object-oriented and relational paradigms, the syntax and semantics of F-logic, and various semantic properties of the logic. It also covers typing, encapsulation, inheritance, and data modeling. The paper concludes with a discussion of the internal structure of F-logic and its relationship to classical predicate calculus.