== Python bindings for SWI-Prolog ==
   ... and store for RDFLib

This packages provides a generic interface to the SWI Prolog from
Python. The main motivation for it was the promise of a reasoning
RDF store that could be used with RDFLib.

is similar to the similarly named package pyswip except that pyswip
pyswip uses ctypes to interface with the SWI-Prolog shared library
and we build a C module using Cython.

The package provides two modules, the first, `swi' contains the
low-level interface to prolog. The second `swipy' provides the
store that is compatible with RDFLib. To this end it bundles 
the SeRQL package from Clio Patria which provides a SPARQL query
interface with entailment and the Henry package which provides
Notation 3 parsing and entailment.

== Installing ==

Requirements:

	* SWI-Prolog 3.8.0 or newer
	* Cython version 0.12 or newer
	* RDFLib 2.5 or SVN (for using the RDFLib Store)

On Mac OSX or other BSD systems it should be sufficient to install
SWI-Prolog from the ports (macports) tree. This is the case as 
well on Gentoo Linux which uses a similar packaging infrastructure.

I have not had very much success on Debian and Debian based 
systems such as Ubuntu Linux with the pre-packaged binaries. It
is recommended to build SWI-Prolog from source in this case.

If you intend to use the RDF store's native (SeRQL) SPARQL query
interface or the Henry N3 entailment modules it is important to
build SWI-Prolog with the XPCE package. XPCE contains the regex
routines used by the serql(sparql) and henry(n3_load).

Make sure `swipl' or `pl' is in your path, then,

	python setup.py build
	python setup.py install

== Testing ==

	nosetests -v -s tests

	## and look at some of the test cases for ideas how
	## to use

== Using ==

	from swipy.store import SWIStore
	from rdflib.graph import Graph

	g = Graph(SWIStore())
	g.store.entailment = "n3"

	etc ...

Note that there are essentially two modes of operation of the
store, `normal' where it behaves like any named graph aware 
store and `entailing' which is enabled by setting the entailment
property on the store object to a non-null value (the name of
one of the entailment modules). If entailment is enabled triples
are returned from the entire store -- ignoring which graph they
may belong to.