<div dir="ltr"><div><div><div>Hi All,<br><br></div>      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?<br></div><div>     Any help is appreciated.<br></div><div>      <br><br></div>Thanks,<br></div>Tany<br><div><div>  <br></div></div></div>