Beta 2 is out. Lots of changes, including a full implementation of truth maintenance (negated patterns are now supported). Check the release notes and documentation for details!
Log in to post a comment.