Package nltk :: Package inference :: Module inference
[hide private]
[frames] | no frames]

Module inference

source code

Functions [hide private]
 
get_prover(goal=None, assumptions=[], prover_name='Prover9') source code
 
get_model_builder(goal=None, assumptions=[], model_builder_name='Mace') source code
 
demo() source code
Function Details [hide private]

get_prover(goal=None, assumptions=[], prover_name='Prover9')

source code 
Parameters:
  • goal (logic.Expression) - Input expression to prove
  • assumptions (list of logic.Expression objects) - Input expressions to use as assumptions in the proof

get_model_builder(goal=None, assumptions=[], model_builder_name='Mace')

source code 
Parameters:
  • goal (logic.Expression) - Input expression to prove
  • assumptions (list of logic.Expression objects) - Input expressions to use as assumptions in the proof