%Fatti

Natural([7,11])
Craps([2,3,12])
Win([0,0])



ComeOut()-:
        random(1,6,X)
        random(1,6,Y)
        Nat(X,Y)
        Cra(X,Y).

%Regole

Nat(X,Y)-:
        member(X+Y,Natural),
        write(X) nl,
        write(Y) nl,
        write('Hai totalizzato:'),
        write(X+Y) nl,
        write('Natural , YOU WIN!'),nl.

Cra(X,Y)-:

        member(X+Y,Craps),
        write(X) nl,
        write(Y) nl,
        write('Hai totalizzato:'),
        write(X+Y) nl,
        write('Craps , YOU LOSE!'),nl.

ReShot()-:  not(Nat(X,Y)),
        not(Cra(X,Y)),
        not(member(X+Y,Win)),
        Win(X+Y|7),
        write(X) nl,
        write(Y) nl,
        write('Hai totalizzato:'),
        write(X+Y) nl,

Goal()-: not(ReShot()),not(Nat(X,Y)),not(Cra(X,Y)),
        write(X) nl,
        write(Y) nl,
        write('Hai totalizzato:'),
        write(X+Y) nl,
        write('YOU WIN!'),nl.