fermat.pl

#!/usr/bin/env swipl

:- use_module(library(clpfd)).
:- initialization(main, main).

main(_) :-
    current_prolog_flag(max_tagged_integer, Max),
    between(3, Max, N),
    fermat(X, Y, Z, N),
    format('X = ~d~n', X),
    format('Y = ~d~n', Y),
    format('Z = ~d~n', Z).

fermat(X, Y, Z, N) :-
    Vars = [X, Y, Z],
    current_prolog_flag(max_tagged_integer, Max),
    Vars ins 1..Max,
    X ^ N + Y ^ N #= Z ^ N,
    label(Vars).