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

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 <[hidden email]>:

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