Expert system with deductive querying and verification of constraints expressed in natural language
nlp
dsl
metaprogramming
prolog
ontology
dcg
logic-programming
term-rewriting
expert-system
symbolic-ai
-
Updated
Nov 26, 2022 - Prolog