Class | Description |
---|---|
EFOLReasoner |
Invokes E (http://eprover.org),
an automated theorem prover for first-order logic, and returns its results.
|
FolReasoner |
Abstract FOL Prover to be implemented by concrete solvers
|
NaiveFolReasoner |
Uses a naive brute force search procedure for theorem proving.
|
Prover9FolReasoner |
Invokes Prover9
( https://www.cs.unm.edu/~mccune/mace4/),
an automated theorem prover for first-order logic, and returns its results.
|
SpassFolReasoner |
Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/),
an automated theorem prover for first-order logic, modal logic and description logics.
|