[Attempto] question regarding Satchmo theorem prover

[Tiantian Gao]

Hi All,

      Satchmo theorem prover is coded in Prolog. I am curious where I can
get its open source code for Satchmo? BTW, which version of Satchmo RACE
reasoner is based on to conduct reasoning?
     Any help is appreciated.


Thanks,
Tany
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20150512/4a150ab2/attachment.html>