Prolog: Und-Oder-Ausdrücke (Boolesche Funktion)

Ich mache die Hausaufgaben zu implementierenden zwei relations-und(A,B) und oder(A,B), die für die logischen "UND" und das logische "ODER" - Operationen auf zwei Boolesche Operanden A und B. die Relation und(A,B)gilt, wenn A und B beide true " ausgewertet wird. Beziehung oder(A,B)gilt, wenn entweder A oder B true oder A und B beide true " ausgewertet wird. Ein Und-ODER-Ausdruck geschachtelt werden können, z.B., und(oder(A,B) und(C,D)).

Einige sample-Eingang und-Ausgang:

?- 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.

Mein code:

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

Wenn ich die einfachen und-oder Ausdrücken, ist es ok. Aber wenn ich einige Ausdrücke enthalten geschachtelte und-oder-Ausdrücke, die es nur geben, "false" als Antwort. Wie kann ich das korrigieren Sie den code, so dass es laufen kann mit verschachtelten und-oder-Ausdrücke?

InformationsquelleAutor Peter | 2013-11-20

  1. 4

    Wenn Sie möchten, es selbst zu tun, so dass es funktioniert auch in generative Mode (im Gegensatz zu den "nackten" Prolog-code, wie in CapelliC Antwort), dann:

    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?

    dieser funktioniert fast genau so, wie Sie gezeigt haben:

    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.
    vielen, vielen Dank!

    InformationsquelleAutor Will Ness

  2. 2

    natürlich, Sie benötigen, um den Besuch Ihrer DSL (Domain Specific Language) - syntax-tree, oder lassen Sie Prolog nutzen diese Grundregeln: könnte einfach sein, da

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

    ergibt, dass

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

2 ?- and(true,or(false,false)).
false.
    dies schlägt fehl, obwohl für nicht-Boden-Begriffe wie and(A,true). und dergleichen; die OP wollte, dass Sie, um zu arbeiten. 🙂
    stimmt, habe ich übersehen.

    InformationsquelleAutor CapelliC

Schreibe einen Kommentar