A checkers game developed in HTML5 and PHP where the AI opponent is programmed in Prolog.