Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:- module(estrella, [ estrella/1 ]). :-use_module(library(clpfd)). estrella([X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11,X12]) :- Vars = [X1,X2,X3,X4,X5,X6,X7,X8,X9,X10,X11,X12], Vars ins 1..12, all_different(Vars), X2+X3+X4+X5 #= 26, X2+X6+X9+X12 #= 26, X5+X7+X10+X12 #= 26, X1+X3+X6+X8 #= 26, X1+X4+X7+X11 #= 26, X8+X9+X10+X11 #= 26, label(Vars).