Hello everybody,
Does anybody have a suggestion for a small and fast implementation of
Prolog written in Common Lisp?
Basically, I just want to extend the functionality of my Lisp programs
with some Prolog capabilities. I don't need anything very
full-featured, and something that is commonly used, updated and
documented would be ideal.
Thanks,
-Todd
If you are willing to shell out some money, LW comes with a full WAM
Prolog system. Quite nice.
Cheers
--
Marco
Todd Pierce wrote:
> Hello everybody,
>
> Does anybody have a suggestion for a small and fast implementation of
> Prolog written in Common Lisp?
>
> Basically, I just want to extend the functionality of my Lisp programs
> with some Prolog capabilities. I don't need anything very
> full-featured, and something that is commonly used, updated and
> documented would be ideal.
>
> Thanks,
>
> -Todd
Todd Pierce writes:
> Does anybody have a suggestion for a small and fast implementation of
> Prolog written in Common Lisp?
>
> Basically, I just want to extend the functionality of my Lisp programs
> with some Prolog capabilities. I don't need anything very
> full-featured, and something that is commonly used, updated and
> documented would be ideal.
If you want a "prolog emulator" people have already mentioned some
possibilities. But if you want to be able to write prologish code in
lisp you could consider Screamer as an alternative. The major
advantage is that you can pretty much do exactly what you said you
want --- "extend the functionality of my Lisp programs with some
Prolog capabilities".
--
Fred Gilham ······@csl.sri.com
After less than 6 weeks on a low-fat, high carbohydrate diet, diabetic
subjects averaged a 24 percent increase in LDL cholesterol and a 23
percent increase in tryglycerides. The study was discontinued in fear
of subjects safety. -- JAMA, vol.271,#18(May 11 1994) pgs.1421-1428
Fred,
> But if you want to be able to write prologish code in
> lisp you could consider Screamer as an alternative. The major
> advantage is that you can pretty much do exactly what you said you
> want --- "extend the functionality of my Lisp programs with some
> Prolog capabilities".
It is times like this when I should really be careful about what I ask
for or I might just get it.
Screamer is quite a bit to digest. It definitely does not qualify as
'small'. In fact it seems like something that might just accidentally
win an election for me if I'm not careful. So, Fred, I'll get back to
you on this thread in a bit... I have reading to do.
For the rest of you unfortunate viewers, Screamer can be found here:
http://www.cis.upenn.edu/~screamer-tools/home.html
-T
Fred,
> But if you want to be able to write prologish code in
> lisp you could consider Screamer as an alternative. The major
> advantage is that you can pretty much do exactly what you said you
> want --- "extend the functionality of my Lisp programs with some
> Prolog capabilities".
It is times like this when I should really be careful about what I ask
for or I might just get it.
Screamer is quite a bit to digest. It definitely does not qualify as
'small'. In fact it seems like something that might just accidentally
win an election for me if I'm not careful. So, Fred, I'll get back to
you on this thread in a bit... I have reading to do.
For the rest of you unfortunate viewers, Screamer can be found here:
http://www.cis.upenn.edu/~screamer-tools/home.html
-T
Todd Pierce schrieb:
> Does anybody have a suggestion for a small and fast implementation of
> Prolog written in Common Lisp?
>
> Basically, I just want to extend the functionality of my Lisp programs
> with some Prolog capabilities. I don't need anything very
> full-featured, and something that is commonly used, updated and
> documented would be ideal.
Featurewise I prefer KM for automatic backtracking (and inference).
It is smaller (one source file: 1MB) and better than prolog,
but it is no prolog, just an inference system with lisp syntax.
you can program prolog style, with the extension that types are
specialized automatically.
http://www.cs.utexas.edu/users/mfkb/km/
screamer is quite large and slow, but better suitable for harder problems.
--
Reini Urban
http://xarch.tu-graz.ac.at/home/rurban/