Predytaky sterujace procesem wnioskowania

def.jezeli w trakcie procesu wnioskowania nastapi uzgodnienie odciecia
to podczas nawrotu zostana pominiete:
a)wszystkie katywne alternatywne drogi poszukiwania rozwiazania od celow
znajdujacych sie przed znakiem obciecia
b)nastepne klauzule procedury,ktorej odciecie nastapilo

I predykat odciecia cut/0
uzycie predykatu cut
1.odciecie czerwone - ogranicza liste rozwiazan
2.odciecie zielone - wplywa na efektywnosc dzialania programowe

ad 1.
f(X,Y):-between(1,2,X),between(X,3,Y).
f(4,4).
Ad.2
f2(X,Y):-!between(1,2,X),between(X,3,Y).
Ad.3
f3(X,Y):-between(1,2,X),!,between(X,3,Y).
Ad.4
f4(X,Y):-between(1,2,X),between(X,3,Y).





?f1(4,4)
TRUE ?f2(4,4)
FALSE ?f3(4,4) ?f4(4,4)
?f1(X,Y) ?f2(X,Y) ?f3(X,Y) ?f2(X,Y)
X=1 y=1 X=1 y=1 X=1 y=1 X=1 y=1
Y=2 Y=2 Y=2 -----------------------------
Y=3 Y=3 Y=3 -----------------------------
X=2 Y=2 X=2 Y=2 ---------------------------- -----------------------------
Y=3 Y=3 --------------------------- -----------------------------
Y=4 -------------------------- ------------------------- -----------------------------

%odciecie zielone
%zrealizowac predykat f1(X,Y)
%
% sin(x),x>2 xit
% Y={3x^2,x<-2
% (-2)*x,-2<=x<=2
%
%
f1(4,X).
f1(X,Y):-X>2,Y is sin(x).
f1(X,Y):-X<(-2),Y is 3*X*X.
f1(X,Y):-X=<2,X>=(-2),Y is (-2)*X

f11(X,Y):-X>2,!,Y is sin(x).
f11(X,Y):-X<(-2),!,Y is 3*X*X.
f11(X,Y):-X=<2,X>=(-2),!,Y is (-2)*X


f21(X,Y):-X>2,!,Y is sin(x).
f21(X,Y):-X<(-2),!,Y is 3*X*X.
f21(X,Y):-Y is (-2)*X


II Predytak fail/0 (0 argumentowy)-zawsze nie spelniony
Służy do wymuszania nawrtotow.
%uzycie fail
kobieta(ewa)
kobieta(ania)
kobieta(ola)
%kobiety/0
%zostanie spelniony jeżeli zostana wypisane wszystkie kobiety które sa w
bazie danych
Kobiety:-kobieta(X),write(X),nl,fail.
Kobiety.

%rodzic/2
Rodzic(ewa,ania)
Rodzic(jan,ania)
Rodzic(ola,jan
%matki/0
%matki – spelniony gdy zostana wypisane wszystkie matki w bazie
danych.realizacja celu %matki zakonczona sukcesem
matki:-rodzic(X),write(X),nl,fail.
Matki.
III.Negacja przez niepowodzenie : not(W)
Jeżeli warunek W jest spelniony, to not(W) nie jest spelniony
Jeżeli warunek W nie jest spelniony,to not(W) jest spelniony
Def w prologu:
Not(W):-W,!,fail.
Not(W).
Jeżeli prawdziwosci faktow W nie można wykazac za pomoca dostepnych
danych i reguł
To negacja faktu W jest prawdziwa zatem w programach prologowych zaklada
się ze informacja nieobecna w bazie jest fałszywa.oznacza to ze negacja
przez niepowodzenie nie jest dokl. Odzwierciedleniem negacji logicznej.