Program w Prologu


(Damian0021) #1

Witam,

 

mam problem z zadaniem na studia : Ułóż procedurę przekształcającą formulę rachunku zadań do koniunkcyjnej postaci normalnej. Procedurę należy zapisać w prologu.

 

Znalazłem coś takiego, będzie git jak mu to oddam? ?

boolean(true).
boolean(false).

cnf(X, Y, Z) :-
        maplist(boolean, [X,Y,Z]),
        (\+ X; Y ; \+ Z),
        ( X ; \+ Y ; Z),
        ( X ; Y ; Z),
        ( \+ X ; \+ Y ; \+ Z)

?- cnf(X, Y, Z).
X = true,
Y = true,
Z = false