nltk.Prover9Command.__init__¶

Prover9Command.__init__(goal=None, assumptions=None, timeout=60, prover=None)[source]¶

Parameters:	goal (sem.Expression) – Input expression to prove assumptions (list(sem.Expression)) – Input expressions to use as assumptions in the proof. timeout (int) – number of seconds before timeout; set to 0 for no timeout. prover (Prover9) – a prover. If not set, one will be created.