DLog is an Description Logic ABox reasoner that uses resolution. The basic idea is that a DL knowledgebase is transformed into a Prolog program without any knowledge on the content of the ABox. The answers are obtained during normal Prolog execution.
A Prolog expert system supporting querying and extending the knowledgebase from a command-line interface using a format oriented on natural language, with the aim of being maintainable by the domain expert (i.e. without requiring programming skills).
PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledgebase for a defeasible reasoning system.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
The Prolog Expert System Shell (PESS) is a software that generates ES using basically two components: KnowledgeBase, used by the ES to guide its decisions making, and Inference Machine, cable of collection the rules and generating new facts.