%%% File: crypto.pro
% load combosets.pro
:- consult('../combosets.pro').
% Substitute
substitute(New,Old,ex(Old,O,Z),ex(New,O,Z)).
substitute(New,Old,ex(X,O,Old),ex(X,O,New)).
substitute(New,Old,ex(X,O,Z),ex(Q,O,Z)) :-
substitute(New,Old,X,Q).
substitute(New,Old,ex(X,O,Z),ex(X,O,Q)) :-
substitute(New,Old,Z,Q).
% Crypto 2 Solver
crypto(N1,N2,Goal,ex(N1,+,N2)) :- Goal is ( N1 + N2 ).
crypto(N1,N2,Goal,ex(N1,*,N2)) :- Goal is ( N1 * N2 ).
crypto(N1,N2,Goal,ex(N1,-,N2)) :- Goal is ( N1 - N2 ).
crypto(N1,N2,Goal,ex(N1,-,N2)) :- Goal is ( N2 - N1 ).
crypto(N1,N2,Goal,ex(N1,/,N2)) :- N2 > 0, Goal is ( N1 / N2 ).
crypto(N1,N2,Goal,ex(N1,/,N2)) :- N1 > 0, Goal is ( N2 / N1 ).
% Crypto 3 Combinatorial Solver
crypto(N1,N2,N3,G,Expr) :-
combos(set(N1,N2,N3), combo(A,B), extras(C)),
crypto(A,B,SG,SGE),
crypto(C,SG,G,UGE),
substitute(SGE,SG,UGE,Expr).
% Crypto 4 Combinatorial Solver
crypto(N1,N2,N3,N4,G,Expr) :-
combos(set(N1,N2,N3,N4), combo(A,B), extras(C,D)),
crypto(A,B,SG,SGE),
crypto(C,D,SG,G,UGE),
substitute(SGE,SG,UGE,Expr).
crypto(N1,N2,N3,N4,N5,G,Expr) :-
combos(set(N1,N2,N3,N4,N5), combo(A,B), extras(C,D,E)),
crypto(A,B,SG,SGE),
crypto(C,D,G,AG,AUGE),
crypto(E,AG,G,UGE),
substitute(SGE,SG,AUGE,SE),
substitute(SE,AG,UGE,Expr).