| 1 |
On 20 Nov 2003, at 09:50, Jean Jordaan wrote: |
| 2 |
|
| 3 |
> Hi all |
| 4 |
> |
| 5 |
> I saw drobbins's mention of Prolog as a possibility for future |
| 6 |
> portage, because of the need for logic programming. As a Python |
| 7 |
> lover, I have to point at the Logilab.org - Python Logic SIG, |
| 8 |
> implementing logic programming in Python. |
| 9 |
> http://www.logilab.org/projects/python-logic |
| 10 |
|
| 11 |
Hi, |
| 12 |
|
| 13 |
I'm writing portage core in (iso-compliant) prolog as part of my thesis |
| 14 |
at the free university of brussels, I'll make my papers with |
| 15 |
implementation available to gentoo. |
| 16 |
I'm not familiar with the libraries you suggested, but Pylog seems very |
| 17 |
interesting, because at first sight it is able to interpret |
| 18 |
iso-compliant prolog. However I saw the following warning: |
| 19 |
|
| 20 |
WARNING: The cut doesn't work well in the current PyLog version |
| 21 |
(backtracking over a cut doesn't undo the unifications done before the |
| 22 |
cut). This problem seems hard to fix with the current structure of |
| 23 |
PyLog and won't be tackled soon. |
| 24 |
|
| 25 |
since cut is a rather crucial part of prolog, (and surely affects |
| 26 |
performance), I doubt that Pylog implements enough of the iso standard |
| 27 |
(efficiently?) to run a real prolog program. Same goes for the |
| 28 |
constraints package, which seems to provide only limited support. We |
| 29 |
also need to investigate whether bugs are fixed rappidly enough... |
| 30 |
|
| 31 |
I was under the impression that prolog has very few dependencies and is |
| 32 |
able to interact with most languages (including python), so I guess the |
| 33 |
need to really include it in python or some other language is rather |
| 34 |
low, but I'm not excluding anything :-) |
| 35 |
|
| 36 |
Regards, |
| 37 |
|
| 38 |
Pieter |
| 39 |
|
| 40 |
> From the site: |
| 41 |
> |
| 42 |
> """ |
| 43 |
> The goal of the "unofficial" Logic-SIG is to provide logic programming |
| 44 |
> and constraint-propagation features in Python. If you are interested |
| 45 |
> in participating, please join the mailing list. |
| 46 |
> |
| 47 |
> 1. Available software |
| 48 |
> |
| 49 |
> * Logilab's constraint package is a full-python constraint |
| 50 |
> satisfaction solver similar that what Oz/Mozart implements. |
| 51 |
> * PyLog from Christophe Delord is a first order logic library in |
| 52 |
> Python |
| 53 |
> """ |
| 54 |
> |
| 55 |
> -- |
| 56 |
> Jean Jordaan |
| 57 |
> http://www.upfrontsystems.co.za |
| 58 |
> |
| 59 |
> |
| 60 |
> -- |
| 61 |
> gentoo-dev@g.o mailing list |
| 62 |
> |
Archives