In these notes we’ll see how Prolog can be used to solve various combinatorial problems. ?- solve_triple1(A ... Each letter stands for a single digit, 0 to 9, and different letters are different ...