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 >
