= Frame-Logic(F-Logic) =

Kifer Mらにより提唱された[ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic.pdf. F-Logic]について研究していきます。
F-LogicはADLのコアでありArchetypeのモデリングや実装に重要な役割を果たしています。

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