The Frame Logic


The Frame Logic  (or F-logic)  provides a logical foundation for frame-based and object-oriented languages for data and knowledge representation.