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

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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