Demo Crypto.pro Lab3 part3

DEMO

?- consult('crypto.pro').
% combosets.pro compiled 0.00 sec, 7,584 bytes
% crypto.pro compiled 0.00 sec, 11,152 bytes

Yes
?- crypto(1,2,3,4,5,15,Expr).

Expr = ex(ex(ex(1, +, 2), +, 4), +, ex(5, +, 3)) ;

Expr = ex(ex(3, +, 4), +, ex(5, +, ex(1, +, 2))) ;

Expr = ex(5, +, ex(ex(1, +, 2), +, ex(3, +, 4))) ;

Expr = ex(5, +, ex(3, +, ex(ex(1, +, 2), +, 4))) ;

Expr = ex(ex(1, +, 2), +, ex(5, +, ex(3, +, 4))) ;

Expr = ex(3, +, ex(5, +, ex(ex(1, +, 2), +, 4))) ;

Expr = ex(ex(4, -, ex(1, +, 2)), *, ex(5, *, 3)) ;

Expr = ex(ex(4, -, 3), *, ex(5, *, ex(1, +, 2))) ;

Expr = ex(ex(5, *, ex(1, +, 2)), /, ex(4, -, 3)) ;

Expr = ex(ex(5, *, 3), /, ex(4, -, ex(1, +, 2)))

Yes
?- crypto(1,2,2,4,7,15,Expr).

Expr = ex(ex(7, *, ex(1, +, 2)), -, ex(2, +, 4)) ;

Expr = ex(ex(1, +, 2), *, ex(7, +, ex(2, -, 4))) ;

Expr = ex(ex(1, +, 2), *, ex(7, -, ex(4, -, 2))) ;

Expr = ex(ex(1, +, 2), *, ex(7, -, ex(4, /, 2))) ;

Expr = ex(ex(1, +, 2), *, ex(ex(2, +, 7), -, 4)) ;

Expr = ex(ex(2, *, 7), +, ex(4, -, ex(1, +, 2))) ;

Expr = ex(ex(2, *, 7), -, ex(ex(1, +, 2), -, 4)) ;

Expr = ex(4, -, ex(ex(1, +, 2), -, ex(2, *, 7))) ;

Expr = ex(4, +, ex(ex(2, *, 7), -, ex(1, +, 2))) ;

Expr = ex(ex(4, +, ex(2, *, 7)), -, ex(1, +, 2)) ;

Expr = ex(ex(2, +, ex(1, +, 2)), *, ex(7, -, 4))

Yes
?-halt.