Hi all! Yesterday I (finally) submitted my bachelor thesis about the implementation of a Prolog interpreter in Python. If you are interested in looking at it, you can find it here: http://codespeak.net/pypy/extradoc/paper/prolog-in-python.pdf Cheers, Carl Friedrich