ahypki/wmi-parprog
18
26
Fork 0

'backup'

Browse Source
This commit is contained in:
Arkadiusz Hypki 2025-03-17 14:41:31 +01:00
parent 0f4b7d5261
commit 524449df4f
1 changed files with 2 additions and 2 deletions

4
04_Prolog/in_class/ex1.pl
View File

@ -37,10 +37,10 @@ mother(X,Y) :- female(X),parent(X,Y).
son(X,Y) :- male(X),parent(Y,X).
dauther(X,Y) :- female(X),parent(Y,X).
uncle(X,Y) :- male(X),brother(X,Z),parent(Z,Y)
uncle(X,Y) :- male(X),brother(X,Z),parent(Z,Y).
brother(X,Y) :- male(X),parent(Z,X),parent(Z,Y),X\=Y.
aunt(X,Y) :- sister(X,Z),parent(Z,Y)
aunt(X,Y) :- sister(X,Z),parent(Z,Y).
sister(X,Y) :- female(X),parent(Z,X),parent(Z,Y),X\=Y.
grandmother(X,Y) :- mother(X,Z),parent(Z,Y).