You may also want to consider these similarly-categorized projects:
This is the Logician project ("logician"). It is open source GPL, with a commercial license available through DigiRule Solutions
This project was registered on SourceForge.net on Aug 6, 2008, and is described by the project team as follows:
SourceForge.net is the world's largest provider of hosting for Open Source software development projects. SourceForge.net provides a variety of services to projects, including a download mirror network, collaborative development tools (like CVS and Subversion), and tools to support discussion and support. These services are provided to projects and their end-users free-of-charge.
Of benefit to users, Open Source software is licensed so you can download and use the software free-of-charge. The source code for this software is made available free-of-charge, you (or a programmer you hire) can make changes to this software to better meet your needs, and you can release your changed code back to the community passing the benefit on to other users.
To join this project, please contact the project administrators of this project, as shown on the project summary page.