nltk.inference.ParallelProverBuilder¶
- class nltk.inference.ParallelProverBuilder[source]¶
Bases:
Prover
,ModelBuilder
This class stores both a prover and a model builder and when either prove() or build_model() is called, then both theorem tools are run in parallel. Whichever finishes first, the prover or the model builder, is the result that will be used.
- build_model(goal=None, assumptions=None, verbose=False)¶
Perform the actual model building. :return: Whether a model was generated :rtype: bool
- prove(goal=None, assumptions=None, verbose=False)¶
- Returns
Whether the proof was successful or not.
- Return type
bool