Smart-pacman is a project mainly written in Prolog, it's free.

an implementation of the game Pac-man in ProLog that supports loading maps dynamically with some bits of AI