An expert system to build, formalize, and reason about knowledge bases. Provides domain-specific languages, deductive querying facilities, and verification of model constraints expressed in a subset of natural language. Inspired by many ideas described in The Art of Prolog and Paradigms of Artificial Intelligence Programming.
The code adheres to ISO/IEC 13211-1 and is compatible with any standard Prolog implementation.
Developed and tested using SWI-Prolog.
- Evaluate
[kb].to load a knowledge base example describing a pancreatic anatomy model. - Evaluate
[spec].to verify a set of model constraints expressed in natural language.
The source code is licensed under the GNU General Public License v3.0.