Sliding Puzzle Implementation in Prolog