A Tabled Prolog Program for Solving Sokoban.
Neng-Fa ZhouAgostino DovierPublished in: Fundam. Informaticae (2013)
Keyphrases
- prolog programs
- logic programming
- programming language
- expert systems
- semantically equivalent
- database systems
- partial deduction
- general purpose
- dynamic programming
- lower bound
- natural language
- multi agent
- combinatorial optimization
- convex optimization
- theorem proving
- inference engine
- computer programs
- constraint logic programming
- logic programming language
- nonlinear equations
- objective function
- information systems
- computer vision