For more information on the search, visit the help page.
DebugObject
__add__
__init__
line
enabled
indent
resolution
BindingDict
Clause
ResolutionProver
ResolutionProverCommand
BindingException
ProverParseError
UnificationException
clausify
demo
most_general_unification
resolution_test
test_clausify
testResolutionProver
_clausify
_complete_unify_path
_iterate_first
_iterate_second
_mgu_var
_subsumes_finalize
_unify_terms
nltk.inference.resolution.DebugObject
nltk
inference
class DebugObject(object): (source)
Constructor: DebugObject(enabled, indent)
DebugObject(enabled, indent)
View In Hierarchy
Undocumented