A Tabled Prolog Program for Solving Sokoban.

Neng-Fa Zhou Agostino Dovier

Published in: CILC (2011)

Keyphrases

prolog programs
logic programs
logic programming
knowledge representation
general purpose
solving problems
knowledge base
semantically equivalent
real world
machine learning
information retrieval
bayesian networks
expert systems
combinatorial optimization
inference engine