Untitled
unknown
plain_text
3 years ago
511 B
6
Indexable
ćwiczenie 3
rodzic(ania,jacek).
rodzic(ania,basia).
rodzic(jan,jacek).
rodzic(jan,basia).
rodzic(stefan,jan).
rodzic(maria,ania).
rodzic(borys,ania).
przodek(X,Y):-rodzic(X,Y).
przodek(X,Y):-rodzic(X,Z),przodek(Z,Y).
ćwiczenie 4
lubi(jan, tatry).
lubi(jan, beskidy).
lubi(jerzy, beskidy).
lubi(jerzy,bieszczady).
lubi(adam, sudety).
lubi(justyna, bieszczady).
bratnia_dusza(X,Y):-lubi(X,G),lubi(Y,G),X\==Y.
ćwiczenie 5
silnia(0,1).
silnia(N,S):-
N>0,
N1 is N-1,
silnia(N1,S1),
S is N*S1.
Editor is loading...