anybody using PyLog?

[Martin Drautzburg]

Hi all,

I recently stumbeled across PyLog
(http://christophe.delord.free.fr/pylog/index.html), and I am suffering
from a sever lack of examples, documentation and of course experience.

I could not even locate the Prolog engine which is supposed to be part
of the code. What I found looked more like the building blocks for an
engine. Still the whole thing smells really interesting and I'd really
like to get it.

So if anybody here could help me with my first steps I'd be most
greatful. If you have reason to tell me "Don't waste your time with
PyLog", then please do.

Cheers
Martin

[Sandeep]

I did try PyLog and faced the same problems. Strangely even I didn't
find the prolog engine that it claimed to have.
After all these, I settled for logic.py from AIMA book (AI: A Modern
Approach) python code. It has nice simple implementation of
all that is needed for logic programming (FOL forward and backward
chaining, unify, knowledge bases etc and also some examples).
If you want to try first go for it (download from svn not the tar
ball, tar files are outdated).

Direct link (logic.py):
http://code.google.com/p/aima-python/source/browse/#svn/trunk

Cheers,
dksr

On Apr 29, 11:16 am, Martin Drautzburg <Martin.Drautzb...@web.de>
wrote:

[Martin Drautzburg]

Sandeep wrote:

> I did try PyLog and faced the same problems. Strangely even I didn't
> find the prolog engine that it claimed to have.

Same here

> After all these, I settled for logic.py from AIMA book (AI: A Modern
> Approach) python code.

Thanks a lot, I downloaded it and am currently playing with it.

But even though it is written in python, it seems to do a lot with
strings. I am a bit worried that this creates its own little logic
world and you can't call python from there or use arbitrary python
objects as values.

What do you think? Can I get answers which consist of python objects,
not just strings or numbers?

[Sandeep]

On Apr 30, 7:27 pm, Martin Drautzburg <Martin.Drautzb...@web.de>
wrote:

Everything is a 'Expr' (expression) object in it and it is created
using a string.
Once you convert everything into Expr object, then it is fairly
straight forward.
I am using it fairly well and till now I did not face any strange
problems.
One major adv that I saw is the fol_bc_ask method and the FOL
implementations.
This is the crucial prolog engine implementation that I could not find
in pylog.

- Sandeep