Определить знак зодиака
Решение:
% zodiac_sign/5
% 12 фактов
zodiac_sign( водолей, 20, январь, 18, февраль ).
zodiac_sign( рыбы, 19, февраль, 20, март ).
zodiac_sign( овен, 21, март, 20, апрель ).
%....
% month/3
% 13 фактов (+1 для февраля)
month(1, январь, 31).
month(2, февраль, 28).
month(3, февраль, 29).
month(4, март, 31).
% ...
leap_year( 1980).
leap_year(Y) :-
nonvar(Y),
leap_year(Yp),
nonvar(Yp),
Y is Yp + 4
;
Yp is Y + 4.
start:-
write('Введите дату рождения...'),
askfor( 'число', Day ),
askfor( 'месяц', Month ),
askfor('год', Year ),
check_leap(Year),
zodiac_sign( Zodiac, Day1, Month1, Day2, Month2 ),
max_year_day_at( Month1, Max1 ),
max_year_day_at( Month2, Max2 ),
max_year_day_at( Month, Max ),
between( Max1, Max2, Max ), nl,
write('Ваш знак зодиака:'),
write( Zodiac ), nl.
askfor( Prompt, Response ):-
write( Prompt ),
read( Response ).
check_leap(Year):-
cleanup,
leap_year(Year) ->
assertz('$correction'(1))
;
assertz('$correction'(0))).
% макс день года в месяце (напр в деквбре = 365(366) в январе = 31)
max_year_day_at( Month, N ):-
month( _ , Month, Days), _ анонимная переменна я**EDIT**
Month == 'февраль' ->
'$correction'(Corr); Corr = 0,
next_month( Month, NextMonth ),
max_year_day_at( NextMonth, MaxDaySoFar ),
N is MaxDaySoFar + Days + Corr.
next_month(Month, Next):-
month(Index, Name, _),
Index == 12 ->
Index1 = 1
;
Index1 = Index + 1,
month(Index1, Next, _ ).
cleanup :-
retract('$correction'(_)), false; true.
%----------------------------------------
ИНФОРМАЦИЯ
Power of Prolog, Markus Triska
Power of Prolog, глава, посвящённая CSP over Finite Domains (clpfd), Markus Triska
Используйте декларативную арифметику clpfd.
SWI-Prolog between/3
doc