wiki:Frame-Logic

Version 2 (modified by KOBAYASHI, Shinji, 12 years ago) (diff)

--

Frame-Logic(F-Logic)

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

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