`nltk.ParallelProverBuilder`¶

class nltk.ParallelProverBuilder(prover, modelbuilder)[source]¶: 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.

Methods¶

__init__(prover, modelbuilder)

build_model([goal, assumptions, verbose]) Perform the actual model building.

prove([goal, assumptions, verbose])

return:	Whether the proof was successful or not.