0

Как я понял мне надо задать правила типо:

знак(овен,21,март).
знак(овен,22,март).
знак(овен,23,март).
знак(овен,24,март).
знак(овен,25,март).
знак(овен,26,март).
знак(овен,27,март).
знак(овен,28,март).
знак(овен,29,март).
знак(овен,30,март).
знак(овен,31,март).
знак(овен,between(1,20),апрель).

как правильно использовать between, чтобы не перебирать по числу все значения?

2

1 ответ 1

0

Определить знак зодиака

Решение:

    % 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

15
  • не получается через бетвин.Я ввожу цифру в этом диапазоне и оно выдает false
    – Anton
    1 мая 2018 в 7:50
  • вот я задал 2 факта вышеуказанных. спрашиваю: знак(X,5,апрель). ответ- false.Хотя должен же выдать:X=овен.
    – Anton
    1 мая 2018 в 7:58
  • Понятно, что не получается, в Прологе нет вложенных вызовов функций. p(f(X)) - f(X) это данные, составной терм (compound, кстати в Прологе они назывются функциями, а процедуры предикатами). Чтобы моделировть вложенные функции надо добавлять доп. аргумент в кот . будет возвращаться "значение": p(f(X,Return)). 1 мая 2018 в 9:06
  • zodiac_sign(Zodiac, Day1, Month1, Day2, Month2) тут мне надо указать даты зодиаков? типо zodiac_sign(овен, 21, март, 20, апрель) day_of_year(Day1, Month1, Year, DY1) вот тут что такое DY1 ?
    – Anton
    1 мая 2018 в 10:02
  • можете, пожалуйста, написать для овна пример.А то чего-то не понимаю некоторые моменты.Зачем тут год вообще нужен?
    – Anton
    1 мая 2018 в 10:25

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.