wiki:Frame-Logic

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

--

Frame-Logic(F-Logic)

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