Re: [Chicken-users] New egg: PPL, a Prolog interpreter in Scheme

2016-02-21 Thread Mario Domenech Goulart
Hello Jeronimo, On Sun, 21 Feb 2016 22:30:28 -0300 Jeronimo Pellegrini wrote: > So, I have packaged PLL ("Programming in Logic in Lisp") [1]. > > PLL is a set of implementations of Prolog in Scheme. It is not supposed > to be efficient, but rather as a simple way to teach the

[Chicken-users] New egg: PPL, a Prolog interpreter in Scheme

2016-02-21 Thread Jeronimo Pellegrini
Hello! So, I have packaged PLL ("Programming in Logic in Lisp") [1]. PLL is a set of implementations of Prolog in Scheme. It is not supposed to be efficient, but rather as a simple way to teach the fundamentals of Logic Programming and the internal working of a Prolog interpreter (conceptually

Re: [Chicken-users] Is there interest in this Prolog interpreter packaged as an egg?

2016-02-21 Thread Jeronimo Pellegrini
On Mon, Feb 22, 2016 at 09:28:38AM +1300, Evan Hanson wrote: > On 2016-02-21 15:21, Jeronimo Pellegrini wrote: > > (compile -X r7rs -R r7rs -s -O2 "pll.scm" -unit pll) > > (compile -X r7rs -R r7rs -s -O2 "pll.import.scm" -unit pll) > > You shouldn't use "-unit pll" here. That's what's

Re: [Chicken-users] Is there interest in this Prolog interpreter packaged as an egg?

2016-02-21 Thread Evan Hanson
On 2016-02-21 15:21, Jeronimo Pellegrini wrote: > (compile -X r7rs -R r7rs -s -O2 "pll.scm" -unit pll) > (compile -X r7rs -R r7rs -s -O2 "pll.import.scm" -unit pll) You shouldn't use "-unit pll" here. That's what's causing the error, and in this simple case where you're compiling a

Re: [Chicken-users] Is there interest in this Prolog interpreter packaged as an egg?

2016-02-21 Thread Jeronimo Pellegrini
On Sat, Feb 20, 2016 at 07:55:49PM -0500, John Cowan wrote: > Jeronimo Pellegrini scripsit: > > > If you believe this would be interesting as an egg, tell me and I'll > > get it packaged! > > Nice! You should also compare it with Schelog. Definitely do package > it as an egg. Ok, I have done