Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- use_module(library(clpfd)). % See: http://goo.gl/qDnuv8 puzzle(P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15) :- Vars = [P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15], Vars ins 1..16, all_different(Vars), 29 #= P0 + P1 + P2, 29 #= P3 + P4 + P5 + P6, 29 #= P9 + P10 + P11 + P12, 29 #= P13 + P14 + P15, 29 #= P0 + P6 + P9 + P15, 29 #= P2 + P7 + P11, 29 #= P4 + P8 + P13. /** <examples> time(aggregate_all(count, (puzzle(P0, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15), labeling([leftmost, up, enum], [P9, P15, P13, P0, P4, P2, P6, P11, P1, P5, P3, P7, P14, P12, P10, P8])), Count)). */