Expert system with deductive querying and verification of constraints expressed in natural language
Primary LanguageProlog