Trois suspects sont impliqués dans un vol, Alice, Bob, Carl. Au moins l'un d'eux est coupable.Comment résoudre ce puzzle dans Prolog? (vol qualifié)
Voici les conditions:
Si A est coupable, il a exactement 1 complice.
Si B est coupable, il a exactement 2 complices.
Qui sont coupables?
Comment puis-je écrire un script Prolog
pour résoudre ce problème que guilty(X)
donne aux gangs?
Vous devriez jeter un oeil à une bibliothèque clpb de SWI-Prolog – joel76
Seuls A et C sont coupables, je veux savoir comment programmer les faits dans Prolog et laisser l'ordinateur faire l'inférence. –
Cela fait longtemps (20 ans) que j'ai écrit un code prologue, mais j'aurais pensé qu'une façon de s'y prendre serait d'écrire des prédicats qui expriment le fait que deux des suspects sont coupables mais pas trois d'entre eux. BTW est A supposé représenter Alice? – MartynA