% Simple constraint satisfaction problem in Bertrand
% Find X and Y such that X + Y = 10 and X * Y = 21

solve(X, Y) :-
    X + Y = 10,
    X * Y = 21,
    X >= Y.

% Query: solve(X, Y)
% Expected: X = 7, Y = 3