In these notes we’ll see how Prolog can be used to solve various combinatorial problems. ?- solve_triple1(A, B, C). A = 3, B = 4, C = 5 ; A = 4, B = 3, C = 5 ; A = 6, B = 8, C = 10 ; A = 8, B = 6, C = ...