Frame-Logic(F-Logic)

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

• F-Logicの実装で遊んでみるグループ
• F-Logicのインターフェースをいじって遊んでみるグループ