From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28595 invoked by uid 1002); 20 Nov 2003 08:50:58 -0000 Mailing-List: contact gentoo-dev-help@gentoo.org; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-dev@gentoo.org Received: (qmail 6688 invoked from network); 20 Nov 2003 08:50:42 -0000 Message-ID: <3FBC8053.8080808@upfrontsystems.co.za> Date: Thu, 20 Nov 2003 10:50:27 +0200 From: Jean Jordaan User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4) Gecko/20030731 X-Accept-Language: en, af, nl, nl-be, en-us MIME-Version: 1.0 To: gentoo-dev@gentoo.org X-Enigmail-Version: 0.76.1.0 X-Enigmail-Supports: pgp-inline, pgp-mime Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Subject: [gentoo-dev] Portage in Prolog: how about logic programming in Python? X-Archives-Salt: f6febe77-b47b-4047-83c5-053eda665b47 X-Archives-Hash: ee34b7e18f1ba74509e725ce90724b13 Hi all 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 -- gentoo-dev@gentoo.org mailing list