For more information on the search, visit the help page.
SetHolder
__getitem__
nonmonotonic
ClosedDomainProver
ClosedWorldProver
PredHolder
UniqueNamesProver
ProverParseError
closed_domain_demo
closed_world_demo
combination_prover_demo
default_reasoning_demo
demo
get_domain
print_proof
unique_names_demo
nltk.inference.nonmonotonic.SetHolder
nltk
inference
class SetHolder(list): (source)
View In Hierarchy
A list of sets of Variables.