A Tabled Prolog Program for Solving Sokoban.

Neng-Fa Zhou, Agostino Dovier

Browse the full ICTAI paper archive.