$ pl
Welcome to SWI-Prolog (Multi-threaded, Version 5.6.24)
Copyright (c) 1990-2006 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?- ['crypto.pro'].
%  gv.pro compiled 0.00 sec, 3,104 bytes
% crypto.pro compiled 0.00 sec, 6,200 bytes

Yes
?- demo.
Problem: numbers = {14,13,6,7,1} and goal = 6

Yes
?- demo.
Problem: numbers = {6,10,4,11,2} and goal = 9

Yes
?- demo.
Problem: numbers = {10,14,15,15,7} and goal = 2

Yes
?- demo.
Problem: numbers = {14,8,11,7,10} and goal = 4

Yes
?- demo.
Problem: numbers = {10,3,5,8,12} and goal = 10

Yes
?- demo.
Problem: numbers = {3,8,5,8,4} and goal = 3

Yes
?- demo.
Problem: numbers = {0,2,12,8,6} and goal = 2

Yes
?- demo.
Problem: numbers = {7,11,1,14,15} and goal = 15

Yes
?- demo.
Problem: numbers = {1,9,8,5,7} and goal = 2

Yes
?- demo.
Problem: numbers = {14,9,5,0,6} and goal = 0

Yes
?- halt.
$