?- consult('crypto.pl').
true.

?- generate(10).
NUMBERS = {5 3 6 12 6} GOAL = 14
NUMBERS = {4 13 1 12 11} GOAL = 1
NUMBERS = {12 5 15 14 12} GOAL = 10
NUMBERS = {7 8 9 1 5} GOAL = 11
NUMBERS = {8 10 7 1 12} GOAL = 15
NUMBERS = {3 5 7 1 10} GOAL = 13
NUMBERS = {6 0 10 15 11} GOAL = 8
NUMBERS = {2 3 7 11 14} GOAL = 1
NUMBERS = {6 1 9 10 13} GOAL = 1
NUMBERS = {4 2 4 9 11} GOAL = 11
true .

?- halt.