:- consult('gv.pro').

establishCryptoProblemParameters :-
  declare(lo,0),
  declare(hi,15).

generateRandomCryptoNumber(N) :-
  valueOf(lo,Lo),
  valueOf(hi,Hi),
  Hip is Hi + 1,
  random(Lo,Hip,N).

generateRandomCryptoProblem :-
  generateRandomCryptoNumber(N1),
  generateRandomCryptoNumber(N2),
  generateRandomCryptoNumber(N3),
  generateRandomCryptoNumber(N4),
  generateRandomCryptoNumber(N5),
  generateRandomCryptoNumber(G),
  addProblemToKB(N1,N2,N3,N4,N5,G).

addProblemToKB(N1,N2,N3,N4,N5,G) :-
  retract(problem(_,_)),
  assert(problem(numbers(N1,N2,N3,N4,N5),goal(G))).

addProblemToKB(N1,N2,N3,N4,N5,G) :-
  assert(problem(numbers(N1,N2,N3,N4,N5),goal(G))).

displayProblem :-
  problem(numbers(N1,N2,N3,N4,N5),goal(G)),
    write('Problem: numbers = {'),
    write(N1),write(','),
    write(N2),write(','),
    write(N3),write(','),
    write(N4),write(','),
    write(N5),write('} and goal = '),
    write(G),nl.

genprob :-
  establishCryptoProblemParameters,generateRandomCryptoProblem,
  displayProblem.