Could not open prover9 / Mace4
I am using the code and in it I am trying to use Prover9 but it pops up for some reason. I downloaded both apps, but I have no idea where to put them in order to open it.
NLTK could not find the file mace4! Use custom software configuration parameters or set the PROVER9 environment variable.
Search: - / usr / local / bin / prover9 - / usr / local / bin / prover9 / bin - / usr / local / bin - / usr / bin - / usr / local / prover9 - / usr / local / share / prover9
=============================================== === =========================
+2
source to share
1 answer
use config_prover9 method on nltk.Prover9 object to provide path to installed Prover9 software
read_expr = nltk.sem.Expression.fromstring
SnF = read_expr('SnF')
NotFnS = read_expr('-FnS')
R = read_expr('SnF -> -FnS')
prover = nltk.Prover9()
prover.config_prover9(r'd:/prover9/bin')
prover.prove(NotFnS, [SnF, R])
my prover9.exe is located at d: \ prover9 \ bin (Windows 7 system). use something like this for * ux systems.
+1
source to share