:- module laba1.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is cc_multi.
:- implementation.
:- import_module int, list, string.

main(!IO) :-
	(if
		L = [0,1,2,3,4,5,6,7,8,9], L1 = list.tail(L),
		pick(L, A),
		pick(L, B),
		pick(L1, C),
		pick(L1, D),
		51 * (10 * A + B) + 10 * C + D = 4905
	then
		io.format("a=%d, b=%d, c=%d, d=%d\n", [i(A), i(B), i(C), i(D)], !IO)
	else
		io.format("has no solutions", [], !IO)
	).

:- pred pick(list(int)::in, int::out) is nondet.
pick([X|_], X).
pick([_|Xs], Y) :- pick(Xs, Y).