π¨βπ» about me home CV/Resume ποΈ Contact Github LinkedIn Iβm a Haskeller π Best of Haskell abp hCalc bl todo pwd TPG
26 July 2009
PyLog is a first order logic library including a PROLOG engine in Python.
Please do not hesitate to test it and to report bugs and comments.
note
Python 2.4 or newer is required!
Any collaboration is welcome ;)
PyLog is available under the GNU Lesser General Public:
PyLog: A first order logic library in Python
Copyright (C) 2009 Christophe Delord
PyLog is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
Simple Parser is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License along with Simple Parser. If not, see http://www.gnu.org/licenses/.
PyLog provides a simple way to write logic terms, variables and atoms. Atoms are special objects that can contain any Python objects. All you need is to import PyLog:
>>> from PyLog import *
PyLog can handle terms, variables and atoms.
To instantiate a term, just write it! The functor should be a valid Python object based on Term (provided by PyLog). For example, to create the βfβ functor :
>>> class f(Term): pass
>>> my_brand_new_term = f(1,f(2),3)
>>> print my_brand_new_term
f(1,f(2),3)
You can also add any methods to your terms. Really useful. You can for example build terms and then call some methods of these terms.
A variable is an instance of the Var class. Variables are free and can be associated to another term in a stack:
>>> X = Var()
>>> class f(Term): pass
>>> print "X:", X
X: _1
>>> s0 = Stack()
>>> print "X:", X, "; s0(X):", s0(X)
X: _1 ; s0(X): _1
>>> s1 = s0.unify(X, f(1)).next()
>>> print "X:", X, "; s1(X):", s1(X)
X: _1 ; s1(X): f(1)
>>> Y = Var()
>>> s2 = s1.unify(X, Y).next()
>>> print "Y:", Y, "; s2(Y):", s2(Y)
Y: _2 ; s2(Y): f(1)
Atoms are Python objects. When building a term, any argument that is not a term is considered as an atom.
Once your terms and variables are instantiated PyLog can unify them. To do this, you have to compute the most general unifier of two terms (or variables or atoms). If such a unifier exists you can do the unification. The unification is a new level in the stack. Useful when backtracking.
Example  Result of execution 



PyLog provides a simple PROLOG engine. It will translate a PROLOG program into Python. This engine uses the new generator ability of Python 2.4.
PROLOG predicates are Python generators yielding 1 when they succeed. As a side effect they instantiate variables. So the yielded value doesnβt matter. For example, to print all the members of a list:
X = Var()
l = cons(1,cons(2,nil))
for _ in member(X,l)():
print X
For a complete example, read pylogsrc.py.