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 nonmonotonic

Classes

ClosedDomainProver
ClosedWorldProver
PredHolder
SetHolder
UniqueNamesProver
ProverParseError

Functions

closed_domain_demo
closed_world_demo
combination_prover_demo
default_reasoning_demo
demo
get_domain
print_proof
unique_names_demo

`nltk.inference.nonmonotonic.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.