Pariul lui Pascal

Dac eu cred n Dumnezeu atunci dacand(A, B) :- A, B.

El exist ctig, iar dac El nu

or(A,B) :- A; B.
existimp(A,B) :- \+ A; B.

atunci eu nu pierd. Dac, pe de alt parte,evaluate(E, true) :- E, !.

nu cred n Dumnezeu atunci dac El
exist pierd i dac nu exist nu ctig.

Prolo
g

evaluate(_, false).
bool(true).
bool(false).

Rezult c dac eu cred n DumnezeutableBody(A,B,C,D,E) :atunci ori ctig ori nu pierd n timp ce
dac nu cred atunci ori pierd ori nu ctig.

bool(A),
bool(B),
bool(C),
bool(D),
write(A),
write(' \t '),
write(B),
write(' \t '),
write(C),
write(' \t '),
write(D),
write(' \t '),
evaluate(E, Result),
write(Result),nl, fail.

Adevrat!