wehub-resource-sync
3454a55636
cffconvert / validate (push) Has been cancelled
ci-workflow / pre-commit (push) Has been cancelled
ci-workflow / Minimal NLTK Download Test (macos-latest) (push) Has been cancelled
ci-workflow / Minimal NLTK Download Test (ubuntu-latest) (push) Has been cancelled
ci-workflow / Minimal NLTK Download Test (windows-latest) (push) Has been cancelled
ci-workflow / Python 3.10 on macos-latest (push) Has been cancelled
ci-workflow / Python 3.11 on macos-latest (push) Has been cancelled
ci-workflow / Python 3.12 on macos-latest (push) Has been cancelled
ci-workflow / Python 3.13 on macos-latest (push) Has been cancelled
ci-workflow / Python 3.14 on macos-latest (push) Has been cancelled
ci-workflow / Python 3.14t on macos-latest (push) Has been cancelled
ci-workflow / Python 3.10 on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.11 on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.12 on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.13 on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.14 on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.14t on ubuntu-latest (push) Has been cancelled
ci-workflow / Python 3.10 on windows-latest (push) Has been cancelled
ci-workflow / Python 3.11 on windows-latest (push) Has been cancelled
ci-workflow / Python 3.12 on windows-latest (push) Has been cancelled
ci-workflow / Python 3.13 on windows-latest (push) Has been cancelled
ci-workflow / Python 3.14 on windows-latest (push) Has been cancelled
25 lines
790 B
Python
25 lines
790 B
Python
# Natural Language Toolkit: Inference
|
|
#
|
|
# Copyright (C) 2001-2026 NLTK Project
|
|
# Author: 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
|