search

agentlab / net.sf.tweety

GNU General Public License v3.0
0 stars 0 forks source link

Reasoner hierarchy #45

Closed ShishkinDmitriy closed 8 years ago

ShishkinDmitriy commented 8 years ago

Reasoner should be interface. Fix FolTheoremProver hierarchy - it should implements Reasoner interface. Reasoner should be generic