Prologue: Et-Ou des expressions (fonction booléenne)

Je suis en train de faire un devoir nécessité de mettre en œuvre deux relations et(A,B) et(A,B) effectuer les logiques “ET” et le “OU” logique des opérations sur les deux opérandes Booléens A et B. Rapport et(A,B)est titulaire si A et B sont vraies (true). Relation ou(A,B)est titulaire si A ou B est évaluée à true, ou les deux, A et B sont vraies (true). Un Et-OU de l'expression peuvent être imbriquées, par exemple, et(ou(A,B) et(C,D)).

Quelques exemples d'entrée et de sortie:

?- and(true,false).
false.
?- or(true,false).
true.
?- and(A,true).
A = true ;
false.
?- or(A,B).
A = true ;
B = true ;
false.
?- and(or(A,B),and(C,D)).
A = true,
C = true,
D = true ;
B = true,
C = true,
D = true ;
false.
?- or( and(or(A,B),C), or(and(D,E),or(F,G)) ).
A = true,
C = true ;
B = true,
C = true ;
D = true,
E = true ;
F = true ;
G = true ;
false.

Mon code:

and(true,true).
and(false,_):-false.
and(_,false):-false.
or(true,_).
or(_,true).
or(false,false):-false.

Quand je lance la simple et ou expressions, c'est ok. Mais quand je lance certaines expressions inclus imbriquées et-ou des expressions, il vient de donner de "faux" comme réponse. Comment puis-je corriger le code de sorte qu'il peut fonctionner avec imbriqué et-ou expressions?

InformationsquelleAutor Peter | 2013-11-20
  1. 5

    Si vous voulez le faire vous-même, de sorte que cela fonctionne aussi dans générative de la mode (contrairement à "nu" Prologue code comme on le voit dans CapelliC de réponse), alors:

    and(A,B):- is_true(A), is_true(B).
or(A,B):- is_true(A) ; is_true(B).

is_true(true).      %//no need to include any cases with false, it'll fail anyway
is_true(A):- var(A), !, false.  %//prevent it from generating too much stuff
is_true(and(A,B)):- and(A,B).
is_true(or(A,B)):- ... .        %//can you guess what to write here?

    cela fonctionne presque exactement comme vous l'avez indiqué:

    14 ?- and(true,false).
false.

15 ?- or(true,false).
true ;                     %//an extra choice point
false.

16 ?- and(A,true).         %//works in generative fashion as well
A = true ;
false.

17 ?- or(A,B).
A = true ;
B = true ;
false.

18 ?- and(or(A,B),and(C,D)).
A = C, C = D, D = true ;
B = C, C = D, D = true ;
false.

19 ?- or( and(or(A,B),C), or(and(D,E),or(F,G)) ).
A = C, C = true ;
B = C, C = true ;
D = E, E = true ;
F = true ;
G = true ;
false.
    InformationsquelleAutor Will Ness
  2. 2

    bien sûr, vous avez besoin pour compléter la visite de votre DSL (Domain specific Language) arbre de syntaxe, ou de laisser Prolog exploiter ces règles de base: cela pourrait être facile comme

    and(L,R) :- L,R.
or(L,R) :- L;R.

    que les rendements

    1 ?- and(true,or(false,true)).
true.

2 ?- and(true,or(false,false)).
false.
    • il échoue cependant, pour les non-rez de termes comme and(A,true). et similaires; l'OP voulait trop de travail. 🙂
    • vrai, j'ai oublié que.
    InformationsquelleAutor CapelliC