Re: guile prolog benchmark

2010-06-22 Thread stefan 
On Monday 21 June 2010 11:58:18 pm Ludovic Courtès wrote:
 Hello,
 
 Sounds fun.  Is the Prolog-on-Guile code available on-line?
 
 Thanks,
 Ludo’.
 

http://gitorious.org/guile-unify/

I think it's a good start. Also I will try to make a less rude
version of it. Until then you would not like to merge that code.
so it is best to keep it in playground for some time.

Regards
Stefan

Re: guile prolog benchmark

2010-06-22 Thread Ludovic Courtès 
Hi Stefan,

stefan stefan.ta...@spray.se writes:

 http://gitorious.org/guile-unify/

 I think it's a good start. Also I will try to make a less rude
 version of it. Until then you would not like to merge that code.
 so it is best to keep it in playground for some time.

What justifies such a tight coupling with Guile core?

It would really help maintenance and review if this were an independent
package.  Only then should you consider optimizations that can only go
in Guile core, IMO.

Thanks,
Ludo’.

guile prolog benchmark

2010-06-21 Thread stefan 
Hi, I've come pretty far in writing a parser for prolog. It's a PEG
parser without packrat and interestingly it is done by doing a simple 
modding of a more standard match construct. The parser is custamizable
and it is pretty easy to add new user operators for prolog as you can in 
e.g. gnuprolog.

I did a new test with the famous n-queens example and here are the current 
performance statistics

gprolog WAM 350ms
gprolog COMPILED100ms
moddeed guile   630ms

I find this quite reasonable and when we add naitive or JIT compilation it
should be fairly easy to take advantage of this as well for the modding I
have done.

Have fun
Stefan

Re: guile prolog benchmark

2010-06-21 Thread Ludovic Courtès 
Hello,

Sounds fun.  Is the Prolog-on-Guile code available on-line?

Thanks,
Ludo’.