Discussion :

[nlo22]

salut à tous !
voici un code qui permet d'établir la table de verité d'une assertion logique, mais je ne le comprend pas tres bien. Est ce que quelqu'un pourrait me l'expliquer svp.

code:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
and(A,B) :- A, B.
 
or(A,_) :- A.
or(_,B) :- B.
 
equ(A,B) :- or(and(A,B), and(not(A),not(B))).
 
xor(A,B) :- not(equ(A,B)).
 
nor(A,B) :- not(or(A,B)).
 
nand(A,B) :- not(and(A,B)).
 
impl(A,B) :- or(not(A),B).
 
% bind(X) :- instantiate X to be true and false successively
 
bind(true).
bind(fail).
 
table(A,B,Expr) :- bind(A), bind(B), do(A,B,Expr), fail.
 
do(A,B,_) :- write(A), write('  '), write(B), write('  '), fail.
do(_,_,Expr) :- Expr, !, write(true), nl.
do(_,_,_) :- write(fail), nl.

Ex: pour ?- table(A,B,and(A,or(A,B))). le résultat est:
true true true
true fail true
fail true fail
fail fail

merci d'avance.

[Trap D]

Pour comprendre ce programme, utilisez le mode trace (en SWI-Prolog on tape trage sur la console SWI) et le debuggueur se met en route, ça permet de bien voir ce qui se passse.