We’ve launched the ErgoAI and XSB Users Forum to provide a central location for users to post questions, find answers, share interesting projects, and discuss ideas about knowledge based systems in general. This forum is also intended to unify discussions on ErgoAI, Flora-2 and, to an extent, XSB, as many issues concerning one are related to the others.
We at Coherent Knowledge support this collaborative space where we can learn from each other, build on our successes and learn together from challenges. We hope that you will become an active member of the forum, spread the word to others who might be interested, and work with us to help create an engaged and supportive community.
Archives of previous posts in this forum will always be available to the general public but to post a new topic, please sign up as a member. One can also sign up for e-mail notifications about new posts and post via the browser or email. Please check your spam folder if you are not seeing the e-mail notifications as they may have found their way there in error. Mark the message as ‘not spam’ so that you will receive future notifications in your inbox.
Enjoy the new forum and please register!
ErgoAI is a rule-based enterprise-grade knowledge representation and reasoning (KRR) system for building knowledge-intensive applications. It is highly expressive and feature-full and yet is easy to learn and use.
Flora-2 is an advanced object-oriented KRR system. Feature-wise, it is ErgoAI minus the enterprise features.
XSB is a sophisticated Logic Programming and Deductive Database reasoner for Unixes (Linux, Mac, etc.) and Windows. Both Ergo and Flora-2 use XSB as a low-level inference engine.