[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Mario Domenech Goulart
Subject: Re: [Chicken-users] New egg: PPL, a Prolog interpreter in Scheme
Date: Mon, 22 Feb 2016 07:10:23 +0000
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux)

Hello Jeronimo,

On Sun, 21 Feb 2016 22:30:28 -0300 Jeronimo Pellegrini <address@hidden> 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 fundamentals of
> Logic Programming and the internal working of a Prolog interpreter
> (conceptually only -- a real implementation would be radically
> different). This interpreter is based on a simple implementation of the
> AMB operator.
> PPL has less than 500 lines of standard Scheme code (around 700 with the
> examples file) -- and there is redundand code, since it includes
> different versions of the interpreter, not sharing too much code,
> so as to keep it readable.
> This is the Github page:
> and this is the release-info file:
> Do I need to do anything else?

Thanks for sharing your code.

Salmonella has detected some issues:

- pll depends on r7rs, but the r7rs egg is not in .meta's
  `needs'/`depends' form

- srfi-1 is a core unit in CHICKEN 4, so no need to be in `needs'

I notice the version is specified as a number.  This may cause problems
sometimes.  Please, take a look at
for a more detailed explanation.

All the best.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]