sp(15730). sp(-15730). sp(506). sp(-506). sp(2420). sp(-2420). sp(17644). sp(-17644). sp(45456). sp(-45456). sp(3637). sp(-3637). sp(21560). sp(-21560). sp(2860). sp(-2860). sp(1430). sp(-1430). sp(946). sp(-946). sp(114). sp(-114). sp(1500). sp(-1500). sp(1188). sp(-1188). sp(35200). sp(-35200). sp(1200). sp(11057). sp(-11057). sp(2200). sp(-2200). sp(17600). sp(-17600). sp(550). sp(-550). sp(1200). sp(-1200). sp(0). sp1 :- sp(A1), sp(A2), sp(A3), sp(A4), sp(A5), sp(A6), sp(A7), sp(A8), sp(A9), sp(A10), sp(A11), %%-1294 is A1+A2+A3+A4+A5+A6+A7+A8+A9+A10+A11, set([A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11],AX),sum(AX,0,-1294),writeln(AX). %%writeln(A1),writeln(A2),writeln(A3),writeln(A4),writeln(A5),writeln(A6),writeln(A7),writeln(A8),writeln(A9),writeln(A10),writeln(A11), writeln(''). %%sp1 :- sp(A1), sp(A2), sp(A3), -1294 is A1+A2+A3, writeln(A1),writeln(A2),writeln(A3),writeln(''),!. set([], []). set([H|T], [H|T1]) :- subtract(T, [H], T2), set(T2, T1). sum([],S,S). sum(A,B,C) :- A=[A1|As], B1 is B+A1, sum(As,B1,C).