NLTK Documentation
Installation
More
Classes and interfaces for theorem proving and model building.
nltk.inference.api module nltk.inference.discourse module nltk.inference.nonmonotonic module nltk.inference.resolution module nltk.inference.tableau module