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.