[Pharo-users] Logic in Pharo ?

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