I saw drobbins's mention of Prolog as a possibility for future portage, because of the need for logic programming. As a Python lover, I have to point at the Logilab.org - Python Logic SIG, implementing logic programming in Python. http://www.logilab.org/projects/python-logic
From the site:
"""
The goal of the "unofficial" Logic-SIG is to provide logic programming and constraint-propagation features in Python. If you are interested in participating, please join the mailing list.
1. Available software
* Logilab's constraint package is a full-python constraint satisfaction solver similar that what Oz/Mozart implements.
* PyLog from Christophe Delord is a first order logic library in Python
"""
-- Jean Jordaan http://www.upfrontsystems.co.za
-- [EMAIL PROTECTED] mailing list
