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