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.mora...@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/prolog/ > 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.bus...@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.
