here's another one http://www.smalltalkhub.com/mc/goonsh/Prolog/main works in pharo 2.0. I think they are copies of AOKI Atsushi's version. On Fri, Mar 20, 2015 at 1:58 AM, Hernán Morales Durand < hernan.morales@gmail.com> wrote:
I don't know Prolog, but I have some links you may like:
http://squeaksource.blueplane.jp/JgProlog/ http://wiki.squeak.org/squeak/1000
http://www.cs.middlebury.edu/~briggs/Courses/CS313-F12/smalltalk/stx/goodies... http://www.smalltalkhub.com/#!/~SergiReyner/Prolog https://code.google.com/p/prolog-for-squeak-smalltalk/
There is also Prolog.st (but check the license)
Prolog Goodies for VisualWorks 2.5/2.5J and VisualWave 1.0 Copyright (C) 1995-1997 AOKI Atsushi 1997/02/21
Some of them could be repeated/cloned/forked. Cheers,
Hernán
2015-03-19 2:34 GMT-03:00 Alain Busser <alain.busser@gmail.com>:
Hello,
I am currently working on mechanical means to solve Aristotle's syllogisms. My project is here: https://github.com/AlainBusser/LogicGame (programmed in CoffeeScript for a webApp). When I will present it (in a little more than two months) I plan to solve the same syllogisms with a software tool which must be free, of course.
I am thinking about a lightweighted Prolog. Does this exist on Pharo? Or anything which would be similar (computing in a boolean algebra, something like alt-ergo etc)...
and, if it runs on Raspbian it will be even better ;-)
Alain
-- Bernardo E.C. Sent from a cheap desktop computer in South America.