GitHub repository: rafaelmillor/sokoban_SIN
Description: Project in CLIPS for solving sokoban games.