An eight puzzle application that can be combined with the check_agent implemented in Prolog.