See pyDatalog's home page : https://bitbucket.org/pcarbonn/pydatalog/wiki/Home
