Source Code for Package nltk.inference

 1  # Natural Language Toolkit: Inference 
 2  # 
 3  # Copyright (C) 2001-2008 NLTK Project 
 4  # Author: Dan Garrette <[email protected]> 
 5  #              Ewan Klein <[email protected]> 
 6  #          
 7  # URL: <http://nltk.org> 
 8  # For license information, see LICENSE.TXT 
 9   
10  """ 
11  Classes and interfaces for theorem proving and model building. 
12  """ 
13   
14  from api import * 
15  from mace import * 
16  from prover9 import * 
17  from inference import * 
18  from tableau import * 
19  from discourse import * 
20