Untitled

 avatar
unknown
plain_text
2 years ago
511 B
3
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...