[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Chicken-users] New egg: PPL, a Prolog interpreter in Scheme
From: |
Jeronimo Pellegrini |
Subject: |
[Chicken-users] New egg: PPL, a Prolog interpreter in Scheme |
Date: |
Sun, 21 Feb 2016 22:30:28 -0300 |
User-agent: |
Mutt/1.5.24 (2015-08-30) |
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 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:
https://github.com/jpellegrini/pll
and this is the release-info file:
https://raw.githubusercontent.com/jpellegrini/pll/master/pll.release-info
Do I need to do anything else?
Thanks,
J.
[1] Or maybe PLLP. "Programming in Lisp with Logic Programming"?
- [Chicken-users] New egg: PPL, a Prolog interpreter in Scheme,
Jeronimo Pellegrini <=