Alainand, if it runs on Raspbian it will be even better ;-)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)...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.