
:- use_module(library(clpfd)).
solve(Terms) :-
	Terms = [A,B,C,D],
	domain(Terms, 0, 100),
	all_different(Terms),
	3*A + B #= 60,
 	2*B - 10*C #= 5*A,
	C + A #= D,
	labeling([], Terms).
