natural language toolkit inference c 20012023 nltk project dan garrette dhgarrettegmail com ewan klein ewaninf ed ac uk url https www nltk org for license information see license txt classes and interfaces for theorem proving and model building natural language toolkit inference c 2001 2023 nltk project dan garrette dhgarrette gmail com ewan klein ewan inf ed ac uk url https www nltk org for license information see license txt classes and interfaces for theorem proving and model building
from nltk.inference.api import ParallelProverBuilder, ParallelProverBuilderCommand
from nltk.inference.discourse import (
    CfgReadingCommand,
    DiscourseTester,
    DrtGlueReadingCommand,
    ReadingCommand,
)
from nltk.inference.mace import Mace, MaceCommand
from nltk.inference.prover9 import Prover9, Prover9Command
from nltk.inference.resolution import ResolutionProver, ResolutionProverCommand
from nltk.inference.tableau import TableauProver, TableauProverCommand