Package net.sf.tweety.logics.fol.plugin

Class Summary

Class	Description
FirstOrderLogicPlugin	This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.