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 |
> |