Frame-Logic(F-Logic)

Kifer Mらにより提唱された​F-Logicについて研究していきます。 F-LogicはADLのコアでありArchetypeのモデリングや実装に重要な役割を果たしています。