Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.
Henning ChristiansenPublished in: J. Appl. Log. (2009)
Keyphrases
- constraint handling rules
- formal specification
- attribute grammars
- control flow
- logic programming
- high level
- expert systems
- model checking
- knowledge representation
- prolog programs
- knowledge base
- abstract machine
- specification language
- general purpose
- data flow
- context free
- programming language
- decision trees
- machine learning
- functional programming
- hypothesis verification