From 028724325d01cfbb7af6a065384c7aa21a1ac6b4 Mon Sep 17 00:00:00 2001 From: Arkadiusz Hypki Date: Thu, 18 Apr 2024 12:32:57 +0200 Subject: [PATCH] 'FIxing fac.pl' --- 06_prolog/ex1.pl | 15 +++++++++++++++ 06_prolog/fac.pl | 2 +- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/06_prolog/ex1.pl b/06_prolog/ex1.pl index 1f226d6..099e1a9 100644 --- a/06_prolog/ex1.pl +++ b/06_prolog/ex1.pl @@ -32,3 +32,18 @@ parent(melsr,teo). father(X,Y) :- male(X),parent(X,Y). 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). +aunt(X,Y) :- female(X),sister(X,Z),parent(Z,Y). + +grandmother(X,Y) :- mother(Z,Y),mother(X,Z). +grandmother(X,Y) :- father(Z,Y),mother(X,Z). + +grandmother(X,Y) :- female(X),parent(Z,Y),parent(X,Z). + +%grandfather +sister(X,Y) :- female(X),parent(Z,X),parent(Z,Y),X\=Y. +brother(X,Y) :- male(X),parent(Z,X),parent(Z,Y),X\=Y. +cousin(X,Y) :- uncle(Z,Y),parent(Z,X). +cousin(X,Y) :- aunt(Z,Y),parent(Z,X). \ No newline at end of file diff --git a/06_prolog/fac.pl b/06_prolog/fac.pl index 44c2391..66ab2a5 100644 --- a/06_prolog/fac.pl +++ b/06_prolog/fac.pl @@ -5,6 +5,6 @@ fac(3,6). fac(4,24). fac(A,B) :- A > 0, - fac(C,D), C is A-1, + fac(C,D), B is A*D. \ No newline at end of file