ANNOUNCE: natural logic nl 0.91:

nl is  a Free Software / Open Source python library
 that provides a high level declarative API that allows
us to build sentences and rules that are then processed
by the CLIPS inference engine.

The main claim of nl is to offer a syntax that can
accommodate any coherent theory that we may
build with the natural language (in the same sense as
something like OWL-Full would), while at the same time
being based on a simple finite domain first order theory.

A discussion of the logic behind nl can be found here:

Best regards.

Enrique Pérez

Received on Friday, 18 December 2009 08:34:49 UTC