Prolog Mastermind AI