Inference engine

[Glen Wilder]

Alexandre Fayolle wrote:
> 
> On 18 May 2001 13:33:40 -0400, Alex <new_name at mit.edu> wrote:
> >
> >> I'm looking for an inference engine written in Python, or for which a
> >> python binding would be available. Does anyone here have a useful
> >> pointer?
> >
> >What sort of inferences from what sort of data?
> 
> I was thinking of a prolog-like engine. The idea is having a set of statements
> and some rules (if A or B  and not C then D), feeding them to the engine
> and then asking questions (give me all all elements for which D is true).

For a proof-of-concept implementation of prolog written in python, see
   http://www.ps.uni-sb.de/~duchier/python/continuations.html

For a python binding of SWI-Prolog, see the CVS repository at
   http://sourceforge.net/projects/pyprolog/


-- Glen Wilder