nltk.inference.ParallelProverBuilder

class nltk.inference.ParallelProverBuilder

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.

__init__(prover, modelbuilder)

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