SLDNF-Draw: Visualization of Prolog operational semantics in LaTeX.
Marco GavanelliPublished in: Intelligenza Artificiale (2017)
Keyphrases
- operational semantics
- partial deduction
- formal semantics
- model theoretic
- mental states
- programming language
- activity diagrams
- declarative semantics
- logic programming
- data model
- logic programming language
- logic programs
- expert systems
- denotational semantics
- knowledge representation
- database
- mathematical expressions
- constraint logic programming
- life cycle
- collaborative learning