An expert system to build, formalize and reason about knowledge bases. Provides deductive querying facilities and verification of model constraints expressed in a subset of natural language. Inspired by many ideas from The Art of Prolog and Paradigms of Artificial Intelligence Programming.
The code adheres to ISO/IEC 13211-1, so it should run on any standard Prolog implementation.
Developed and tested using SWI-Prolog.
The source code is licensed under the GNU General Public License v3.0.