Количество дней за определенное количество месяцев, учитывая високосный год

@whxz0r · Регистрация: 28.04.2017

Студворк — интернет-сервис помощи студентам

Здравствуйте! Написал программу, которая подсчитывает количество дней за столько-то месяцев, т.е. вбиваю дату с какого числа считать и сколько месяцев, а она выводит количество дней

Там учитывается, что месяцев может быть больше 12 и високосный год
только он мне при високосном году 2 раза результат выводит))

первый - правильный
а второй - если бы високосного года не было

Помогите пожалуйста избежать дублирования, чтобы он выводил только верный результат

Prolog
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
predicates
 month(integer Month, integer Qty_days)
 monthes(integer Day, integer Month, integer Year, integer Qty_months, integer Result)
 
clauses
 month(1, 31).
 month(2, 28).
 month(3, 31).
 month(4, 30).
 month(5, 31).
 month(6, 30).
 month(7, 31).
 month(8, 31).
 month(9, 30).
 month(10, 31).
 month(11, 30).
 month(12, 31).
 
 monthes(DAY, MONTH, YEAR, 0, 0):-!.
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0,
                      YEAR mod 4=0,  
                          MONTH = 2,
                          MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=29+R1.
 
 monthes(DAY, MONTH, YEAR, TERM, R):- MONTH > 12, 
                      YEAR1 = YEAR+1, 
                      monthes(DAY, 1, YEAR1, TERM, R).
 
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0,
                      month(MONTH, Qty),
                      MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=Qty+R1.
                  
goal
 monthes(4, 11, 19, 16, R).

@arlat · 03.04.2019, 14:10

про год не знаю, а про месяц у меня примерно так

Prolog
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
%
month_days(Year, 2, Days) :-
    month_days_feb(Year, 2, Days),
    !.
month_days(_, Month, Days) :-
    month_days_other(Month, Days),
    !.
 
%
month_days_feb(Year, 2, 29) :-
    integer(Year),
    0 is Year mod 400.
month_days_feb(Year, 2, 29) :-
    integer(Year),
    0 is Year mod 4,
    \+ 0 is Year mod 100.
month_days_feb(_, 2, 28).
 
%
month_days_other(1, 31).
month_days_other(3, 31).
month_days_other(4, 30).
month_days_other(5, 31).
month_days_other(6, 30).
month_days_other(7, 31).
month_days_other(8, 31).
month_days_other(9, 30).
month_days_other(10, 31).
month_days_other(11, 30).
month_days_other(12, 31).

@whxz0r · 07.04.2019, 22:58 **[ТС]**

Если вдруг кому понадобится:

Prolog
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
 monthes(_, _, _, 0, 0):-!.
 
 monthes(DAY, MONTH, YEAR, TERM, R):- MONTH > 12, 
                      YEAR1 = YEAR+1, 
                      monthes(DAY, 1, YEAR1, TERM, R).
 
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0,
                      YEAR mod 4=0,  
                          MONTH = 2, !,
                          MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=29+R1.
 
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0,
                      YEAR mod 4=0, !,  
                      month(MONTH, Qty),
                      MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=Qty+R1.
                      
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0, 
                      month(MONTH, Qty),
                      MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=Qty+R1.

Да, наверное можно и короче, буду рад увидеть исправления в пользу компактности

@whxz0r · 08.04.2019, 17:57 **[ТС]**

ещё короче

Prolog
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
predicates
 month(integer, integer, integer)
 monthes(integer, integer, integer, integer, integer)
 
clauses
 month(1, _, 31).
 month(2, YEAR, 28):- YEAR mod 4<>0, !.
 month(2, _, 29).
 month(3, _, 31).
 month(4, _, 30).
 month(5, _, 31).
 month(6, _, 30).
 month(7, _, 31).
 month(8, _, 31).
 month(9, _, 30).
 month(10, _, 31).
 month(11, _, 30).
 month(12, _, 31).
 
 monthes(_, _, _, 0, 0):-!.
 
 monthes(DAY, MONTH, YEAR, TERM, R):- MONTH > 12, 
                      YEAR1 = YEAR+1, 
                      monthes(DAY, 1, YEAR1, TERM, R).
                      
 monthes(DAY, MONTH, YEAR, TERM, R):- TERM >= 0, 
                      month(MONTH, YEAR, Qty),
                      MONTH1 = MONTH+1,
                      TERM1 = TERM-1, 
                      monthes(DAY, MONTH1, YEAR, TERM1, R1),
                      R=Qty+R1.
                      
goal
 monthes(5, 5, 2019, 12, R).

Новые блоги и статьи Все статьи Все блоги /
Символьное дифференцирование igorrr37 13.02.2026 / * Логарифм записывается как: (x-2)log(x^2+2) - означает логарифм (x^2+2) по основанию (x-2). Унарный минус обозначается как ! */ #include <iostream> #include <stack> #include <cctype>. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .	И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .