Spyse is still alive and kicking after a pause of development. Expect a new version including a 3APL interpreter (BDI reasoner) within the next couple of weeks.
In the meantime, have a look at the recently published documents on the website <http://spyse.sf.net>.
