From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 17549 invoked by uid 1002); 20 Nov 2003 15:31:55 -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 17434 invoked from network); 20 Nov 2003 15:31:55 -0000 In-Reply-To: <3FBC8053.8080808@upfrontsystems.co.za> References: <3FBC8053.8080808@upfrontsystems.co.za> Mime-Version: 1.0 (Apple Message framework v604) Content-Type: multipart/alternative; boundary=Apple-Mail-1-840799945 Message-Id: Cc: gentoo-dev@gentoo.org From: Pieter Van den Abeele Date: Thu, 20 Nov 2003 16:31:53 +0100 To: Jean Jordaan X-Mailer: Apple Mail (2.604) Subject: Re: [gentoo-dev] Portage in Prolog: how about logic programming in Python? X-Archives-Salt: 6d8ab167-ac7e-416b-a343-1d99be953056 X-Archives-Hash: 840088b5654e645fe4f0bf246ca66d31 --Apple-Mail-1-840799945 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed On 20 Nov 2003, at 09:50, Jean Jordaan wrote: > 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 Hi, I'm writing portage core in (iso-compliant) prolog as part of my thesis at the free university of brussels, I'll make my papers with implementation available to gentoo. I'm not familiar with the libraries you suggested, but Pylog seems very interesting, because at first sight it is able to interpret iso-compliant prolog. However I saw the following warning: WARNING: The cut doesn't work well in the current PyLog version (backtracking over a cut doesn't undo the unifications done before the cut). This problem seems hard to fix with the current structure of PyLog and won't be tackled soon. since cut is a rather crucial part of prolog, (and surely affects performance), I doubt that Pylog implements enough of the iso standard (efficiently?) to run a real prolog program. Same goes for the constraints package, which seems to provide only limited support. We also need to investigate whether bugs are fixed rappidly enough... I was under the impression that prolog has very few dependencies and is able to interact with most languages (including python), so I guess the need to really include it in python or some other language is rather low, but I'm not excluding anything :-) Regards, Pieter > 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 > --Apple-Mail-1-840799945 Content-Transfer-Encoding: 7bit Content-Type: text/enriched; charset=US-ASCII On 20 Nov 2003, at 09:50, Jean Jordaan wrote: 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 Hi, I'm writing portage core in (iso-compliant) prolog as part of my thesis at the free university of brussels, I'll make my papers with implementation available to gentoo. I'm not familiar with the libraries you suggested, but Pylog seems very interesting, because at first sight it is able to interpret iso-compliant prolog. However I saw the following warning: Arial WARNING: The cut doesn't work well in the current PyLog version (backtracking over a cut doesn't undo the unifications done before the cut). This problem seems hard to fix with the current structure of PyLog and won't be tackled soon. since cut is a rather crucial part of prolog, (and surely affects performance), I doubt that Pylog implements enough of the iso standard (efficiently?) to run a real prolog program. Same goes for the constraints package, which seems to provide only limited support. We also need to investigate whether bugs are fixed rappidly enough... I was under the impression that prolog has very few dependencies and is able to interact with most languages (including python), so I guess the need to really include it in python or some other language is rather low, but I'm not excluding anything :-) Regards, Pieter 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 --Apple-Mail-1-840799945--