`nltk.MaceCommand`¶

class nltk.MaceCommand(goal=None, assumptions=None, max_models=500, model_builder=None)[source]¶: A MaceCommand specific to the Mace model builder. It contains a print_assumptions() method that is used to print the list of assumptions in multiple formats.

Methods¶

__init__([goal, assumptions, max_models, ...])

param goal:	Input expression to prove

add_assumptions(new_assumptions) Add new assumptions to the assumption list.

assumptions() List the current assumptions.

build_model([verbose]) Attempt to build a model.

get_model_builder()

goal() Return the goal

model([format]) Return a string representation of the model

print_assumptions([output_format]) Print the list of the current assumptions.

retract_assumptions(retracted[, debug]) Retract assumptions from the assumption list.