Nim game opponent and solver in Prolog. - View it on GitHub