SWI_Prolog_Practice/Task11.pl at main · Niksa7/SWI_Prolog_Practice · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
man(voeneg).
man(ratibor).
man(boguslav).
man(velerad).
man(duhovlad).
man(svyatoslav).
man(dobrozhir).
man(bogomil).
man(zlatomir).

woman(goluba).
woman(lubomila).
woman(bratislava).
woman(veslava).
woman(zhdana).
woman(bozhedara).
woman(broneslava).
woman(veselina).
woman(zdislava).

parent(voeneg,ratibor).
parent(voeneg,bratislava).
parent(voeneg,velerad).
parent(voeneg,zhdana).

parent(goluba,ratibor).
parent(goluba,bratislava).
parent(goluba,velerad).
parent(goluba,zhdana).

parent(ratibor,svyatoslav).
parent(ratibor,dobrozhir).
parent(lubomila,svyatoslav).
parent(lubomila,dobrozhir).

parent(boguslav,bogomil).
parent(boguslav,bozhedara).
parent(bratislava,bogomil).
parent(bratislava,bozhedara).

parent(velerad,broneslava).
parent(velerad,veselina).
parent(veslava,broneslava).
parent(veslava,veselina).

parent(duhovlad,zdislava).
parent(duhovlad,zlatomir).
parent(zhdana,zdislava).
parent(zhdana,zlatomir).

%Task11
father(X,Y):- parent(X,Y),man(X).
father(X):-parent(Y,X),man(Y),write(Y).

%Task12
sister(X,Y):-woman(X),parent(Z,X),parent(Z,Y),man(Z),X\=Y,
    woman(Y).
sisters(X):-woman(X),parent(Z,X),man(Z),parent(Z,Y),woman(Y),X\=Y,write(Y).

%Task13
grand_ma(X,Y):-woman(X),parent(X,Z),parent(Z,Y).
grand_mas(X):-parent(Z,X),parent(Y,Z),woman(Y),write(Y).

%Task14
%1 option
%grand_ma_and_son(X,Y):-woman(X),parent(X,Z),parent(Z,Y),man(Y),!.
%grand_ma_and_son(X,Y):-man(X),parent(Z,X),parent(Y,Z),woman(Y),!.
%2 option
grand_ma_and_son(X,Y):-
    woman(X),parent(X,Z),parent(Z,Y),man(Y),!;
    man(X),parent(Z,X),parent(Y,Z),woman(Y),!.

%Task15
%mult_of_digits(+X,-Sum)
mult_of_digits(0,1):-!.
mult_of_digits(X,Sum):-X1 is X div 10, mult_of_digits(X1,Sum1),
    X2 is X mod 10, Sum is X2*Sum1.

%Task16
%mult_of_digits_down(+X,-Sum)
mult_of_digits_down(X,Sum):-mult_of_digits_down(X,Sum,1).
mult_of_digits_down(0,Sum,Sum):-!.
mult_of_digits_down(X,Sum,CurSum):- X1 is X mod 10, CurSum1 is CurSum*X1,
    X2 is X div 10, mult_of_digits_down(X2,Sum,CurSum1).

%Task17
%amount_of_odd_dig_bigger3(+X,-Count).
amount_of_odd_dig_bigger3(0,0):-!.
amount_of_odd_dig_bigger3(X,Count):-
    X1 is X div 10, amount_of_odd_dig_bigger3(X1,Count1),
    X2 is X mod 10, (X2>3, 1 is  X2 mod 2, Count is Count1+1; Count is Count1).

%Task18
%amount_of_odd_dig_bigger3_Down(+X,-Count).
amount_of_odd_dig_bigger3_Down(X,Count):-
    amount_of_odd_dig_bigger3_Down(X,Count,0).
amount_of_odd_dig_bigger3_Down(0,Count,Count):-!.
amount_of_odd_dig_bigger3_Down(X,Count,CurCount):-
    (X2 is X mod 10, X2>3,1 is  X2 mod 2, CurCount1 is CurCount+1,
    X1 is X div 10, amount_of_odd_dig_bigger3_Down(X1, Count, CurCount1), !);
    (X3 is X div 10, amount_of_odd_dig_bigger3_Down(X3, Count, CurCount)).

%Task19
%fib_Up(+N,-X)
fib_Up(1,1):-!.
fib_Up(2,1):-!.
fib_Up(N,X):-N1 is N-1, N2 is N-2, fib_Up(N1,X1), fib_Up(N2,X2), X is X1+X2.

%Task20
%fib_Down(+N,-X)
fib_Down(N,X):-fib_Down(N,X,1,0).
fib_Down(1,X,X,_):-!.
fib_Down(N,X,X1,X2):-XNext is X1+X2, N1 is N-1,fib_Down(N1,X,XNext,X1).