nltk-3.6.2 API Documentation Modules Classes Names

search in docstrings

For more information on the search, visit the help page.

Exception ProverParseError

Module resolution

Classes

BindingDict
Clause
DebugObject
ResolutionProver
ResolutionProverCommand
BindingException
ProverParseError
UnificationException

Functions

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.ProverParseError`

exception documentation

class ProverParseError(Exception): (source)

View In Hierarchy

Undocumented

API Documentation for nltk-3.6.2, generated by pydoctor 24.11.2 at 2025-02-28 00:02:28.