Connect 4 with AI Connect 4 game in Prolog programming language, leveraging alpha-beta pruning algorithm.