I'm a longtime python developer and recently have been introduced to Prolog. I love the concept of using relationship rules for certain kinds of tasks, and would like to add this to my repertoire.
Are there any good libraries for logic programming in Python? I've done some searching on Google but only found the following:
jtauber's blog series on relational_python
Would love to compare to some others...thanks!
-aj
A recent Prolog implementation in Python (or rather RPython) in Pyrolog. It is still rather experimental.
You may want to use pyDatalog, a logic programming library that I developed for Python implementing Datalog. It also works with SQLAlchemy to query relational databases using logic clauses.
Perhaps you should google "Logic Programming in Python". Pyke looks promising:
Another option is Yield Prolog
LogPy is an implementation of miniKanren, a relational programming language, in Python. It follows in th tradition of
core.logic
, the preeminent logic programming solution in Clojure. LogPy was designed for interoperability with pre-existing codebases.You could also look at Dee, which adds relations to Python: http://www.quicksort.co.uk