Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming.
Johan BosPublished in: CoRR (2020)
Keyphrases
- multi dimensional
- logic programming
- search tree
- learning environment
- high school students
- high school
- logic programs
- middle school
- logic programming language
- search algorithm
- deductive databases
- programming language
- knowledge representation
- constraint logic programming
- answer set programming
- search space
- science education
- computational logic
- knowledge base
- procedural semantics
- answer sets
- branch and bound algorithm
- b tree
- default logic
- stable models
- sat solvers
- symmetry breaking
- inductive logic programming
- defeasible argumentation