Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

# Natural Language Toolkit: Inference 

# 

# Copyright (C) 2001-2012 NLTK Project 

# Author: Dan Garrette <dhgarrette@gmail.com> 

#         Ewan Klein <ewan@inf.ed.ac.uk> 

# 

# URL: <http://www.nltk.org/> 

# For license information, see LICENSE.TXT 

 

""" 

Classes and interfaces for theorem proving and model building. 

""" 

 

from .api import ParallelProverBuilder, ParallelProverBuilderCommand 

from .mace import Mace, MaceCommand 

from .prover9 import Prover9, Prover9Command 

from .resolution import ResolutionProver, ResolutionProverCommand 

from .tableau import TableauProver, TableauProverCommand 

from .discourse import (ReadingCommand, CfgReadingCommand, 

                       DrtGlueReadingCommand, DiscourseTester)