129 lines
2.0 KiB
Prolog
129 lines
2.0 KiB
Prolog
|
|
|
|
|
|
pref(P,X) :-
|
|
nb_current(P,_),
|
|
nb_getval(P,Y),
|
|
!,
|
|
( Y = X
|
|
; ( Y = nie(Z), Z \= X)
|
|
; Y = cokolwiek).
|
|
|
|
pref(P,X) :-
|
|
format("~w:\n", [P]),
|
|
read(Y),
|
|
nb_setval(P,Y),
|
|
( Y = X
|
|
; ( Y = nie(Z), Z \= X)
|
|
; Y = cokolwiek).
|
|
|
|
prefb(P,X) :-
|
|
nb_current(P,_),
|
|
nb_getval(P,Y),
|
|
!,
|
|
Y=X.
|
|
|
|
prefb(P,X) :-
|
|
format("~w?\n",[P]),
|
|
read(Y),
|
|
nb_setval(P,Y),
|
|
Y = X.
|
|
|
|
termin(XS) :-
|
|
nb_current(termin,_),
|
|
nb_getval(termin,Y),
|
|
!,
|
|
member(X,XS),
|
|
( (Y1-Y2 = Y, X >= Y1, X =< Y2)
|
|
; (nie(Y1-Y2) = Y, (X < Y1 ; X > Y2))
|
|
),
|
|
!.
|
|
|
|
termin(XS) :-
|
|
format("termin (od-do):\n"),
|
|
read(Y),
|
|
nb_setval(termin,Y),
|
|
member(X,XS),
|
|
( (Y1-Y2 = Y, X >= Y1, X =< Y2)
|
|
; (nie(Y1-Y2) = Y, (X < Y1 ; X > Y2))
|
|
),
|
|
!.
|
|
|
|
|
|
cena(X) :-
|
|
nb_current(cena,_),
|
|
nb_getval(cena,Y),
|
|
!,
|
|
X=<Y.
|
|
|
|
cena(X) :-
|
|
format("maksymalna cena:\n"),
|
|
read(Y),
|
|
nb_setval(cena, Y),
|
|
X =< Y.
|
|
|
|
|
|
|
|
|
|
wakacje(zakopane) :-
|
|
pref(kraj,polska),
|
|
pref(teren,gory),
|
|
cena(3000).
|
|
|
|
wakacje(hawaje) :-
|
|
termin([6,7,8]),
|
|
pref(kraj, usa),
|
|
pref(teren, morze),
|
|
cena(8000).
|
|
|
|
wakacje(hawaje_poza_sezonem) :-
|
|
termin([1,2,3,4,5,9,10,11,12]),
|
|
pref(kraj, usa),
|
|
pref(teren, morze),
|
|
cena(5000).
|
|
|
|
wakacje(himalaje) :-
|
|
termin([1,2,3,10,11,12]),
|
|
cena(5000),
|
|
pref(teren, gory),
|
|
prefb(dzieci, nie).
|
|
|
|
wakacje(hel) :-
|
|
termin([5,6,7,8]),
|
|
pref(teren, morze),
|
|
pref(kraj, polska),
|
|
cena(2000).
|
|
|
|
wakacje(mazury) :-
|
|
termin([4,5,6,7]),
|
|
pref(teren, jezioro),
|
|
pref(kraj, polska),
|
|
cena(1500).
|
|
|
|
wakacje(bieszczady) :-
|
|
pref(teren, gory),
|
|
pref(kraj, polska),
|
|
cena(2000).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
clear :-
|
|
forall(member(A, [kraj,teren, termin, cena, dzieci]), nb_delete(A)).
|
|
|
|
|
|
|
|
|
|
|
|
wakacje2(X) :-
|
|
( findall(Y,wakacje(Y),X), clear) ; (clear , fail).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|