if else в прологе

@Титан_1 · Регистрация: 24.05.2014

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

Не совсем не понимаю, как это работает. Нужно решить систему уравнений. Вот моя программа:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
PREDICATES
Y(real)
 
CLAUSES
 
Y(X):-X<=-7,write("X вне диапазона"),!.
Y(X):-X>-7,X<=0,write("Введите A: "), readreal(A),Z=ln(X)/A, write("y=",Z,"\n"),!.
Y(X):-X>0,X<=17,write("Введите A: "), readreal(A),write("Введите B: "), readreal(B),Z=(X*X+2*A*B)/(2*cos(X)), write("y=",Z,"\n"),!.
Y(X):-X>17,X<=21,write("X вне диапазона"),!.
Y(X):-X>21,X<30,write("Введите A: "),
readreal(A),Z=(exp(X)+1)/A, write("y=",Z,"\n"),!.
Y(X):-X>=30, write("X вне диапазона").

В любом нормальном языке я бы написал что-то вроде:

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
    double x,y 
    Read(x);
    if ((x>-7)&&(x<=0)) {
        double a;
        Read(a);
        if (a) Write(Math.Ln(x)/a);
        else Write("\nДеление на нуль!");
    } else if ((x>0)&&(x<=17)) {
        double tmp = 2*Math.Cos(x);
        if (tmp) Write((x*x+2*a*b)/tmp);
        else Write("\nДеление на нуль!");
    } else if ((x>21)&&(x<30)) {
        double a;
        Read(a);
        if (a) Write(Math.Pow(Math.Exp,x)+1);
        else Write("\nДеление на нуль!");
    } else {
        Write("\nx вне диапазона");
    }

Как делать if я в частном случае разобрался, а вот как делать else и if внутри if'а? Мне бы хотелось добавить условие деления на нуль в мой код. Как это сделать?

@Титан_1 · 22.12.2020, 16:46 **[ТС]**

arlat, не прокатит, я потому и задал этот вопрос

Добавлено через 8 минут
Опять что-то не так. Почему-то пролог считает, что CurChar в строке str_char(CurCharStr,CurChar) - выходной параметр, хотя он становится известен на строке раньше и должен быть входным.

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
DOMAINS
%5) создать предикат, который будет заменять в строке все вхождения одного символа на другой символ. У предиката будет четыре параметра. Первые три — входные (исходная строка >>>Str<<< ; символ, вхождения которого нужно заменять >>>Victim<<<; символ, которым нужно заменять первый символ >>>Killer<<<); четвертым — выходным — параметром должен быть результат замены в первом параметре всех вхождений второго параметра на третий параметр >>>Res<<<;
  
PREDICATES
replacer(string,char,char,string)
mainreplacer(string,string,char,char,string)
main
  
CLAUSES
    replacer(Str,Victim,Killer,Res):-mainreplacer(Str,"",Victim,Killer,Res).
    
    mainreplacer(Str,Buf,Victim,Killer,Res):-   
            str_len(Str,0), Res = Buf;
                frontchar(Str,CurChar,Tail),
                CurChar=Victim, str_char(KillerStr,Killer), concat(Buf,KillerStr,Out), mainreplacer(Tail,Out,Victim,Killer,Res);
                    str_char(CurCharStr,CurChar),concat(Buf,CurCharStr,Out), mainreplacer(Tail,Out,Victim,Killer,Res).
 
    main:-  makewindow(1,11,2,"Задание 5",1,1,12,60),
            write("Введите строку: "), readln(Str),
            write("Найти букву: "), readchar(Victim), write(Victim), nl,
            write("И заменить на: "), readchar(Killer), write(Victim), nl, nl,
            replacer(Str,Victim,Killer,Res), write("Результат: ",Res).
            
    
GOAL 
main.

В моём понимании, mainreplacer(Str,Buf,Victim,Killer,Res) выглядит так:

Prolog
1
2
3
4
5
6
7
mainreplacer(Str,Buf,Victim,Killer,Res):-   
            if (str_len(Str,0)) Res = Buf,
                else {
                frontchar(Str,CurChar,Tail),
                if (CurChar=Victim) {str_char(KillerStr,Killer), concat(Buf,KillerStr,Out), mainreplacer(Tail,Out,Victim,Killer,Res)}
                    else {str_char(CurCharStr,CurChar),concat(Buf,CurCharStr,Out), mainreplacer(Tail,Out,Victim,Killer,Res)}
                    }.

@arlat · 22.12.2020, 18:15

теоретически вроде так

Prolog
1
2
3
4
5
6
7
8
9
10
replacer("", _, _, "").
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, Victim, RestString),
  !,
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, Killer, Res0).
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, OtherChar, RestString),
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, OtherChar, Res0).

@Титан_1 · 22.12.2020, 19:35 **[ТС]**

arlat, спасибо, а зачем нужен восклицательный знак в первом предикате и зачем строка replacer("", _, _, "").?

Добавлено через 13 минут
Хм, вроде бы replacer("", _, _, ""). должно означать, что replacer будет выполняться до тех пор, пока Str и Res не опустеют... Получаются, оно нужно, чтобы прервать рекурсию

А "!" - для того, чтобы второй replace не начал выполняться если извлечённый символ == Victim, верно?

@arlat · 23.12.2020, 10:52

Сообщение от Титан_1

оно нужно, чтобы прервать рекурси

Да, это граничное условие плюс унификация начального значения выходной строки пустой строкой.

Сообщение от Титан_1

для того, чтобы второй replace не начал выполняться

ну, что-то в этом роде, чтобы при возможном откате не выполнялась следующая альтернатива.
Если следовать чистой логике, то так

Prolog
1
2
3
4
5
6
7
8
9
10
replacer("", _, _, "").
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, Victim, RestString),
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, Killer, Res0).
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, OtherChar, RestString),
  OtherChar \= Victim,
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, OtherChar, Res0).

frontchar от пустой строки должен дать неудачу, поэтому можно и так, но тут надо внимательно, бывает, что разница есть

Prolog
1
2
3
4
5
6
7
8
9
10
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, Victim, RestString),
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, Killer, Res0).
replacer(Str, Victim, Killer, Res) :-
  frontchar(Str, OtherChar, RestString),
  OtherChar \= Victim,
  replacer(RestString, Victim, Killer, Res0),
  frontchar(Res, OtherChar, Res0).
replacer("", _, _, "").

Если есть желание нормально разобраться, то надо проходить в отладчике, там все будет видно, когда переменная не унифицирована (не связана), как происходит бектрекинг (поиск с возвратом), срабатывание граничного условия и унификация (связывание) выходной переменной, выход из рекурсии и т.п.

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

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
replacer(Str, Victim, Killer, Res) :-
  replacer(Str, Victim, Killer, "", Res).
 
replacer("", _, _, Res, Res).
replacer(Str, Victim, Killer, Res0, Res) :-
  frontchar(Str, Victim, RestString),
  frontchar(Res1, Killer, Res0),
  !,
  replacer(RestString, Victim, Killer, Res1, Res).
replacer(Str, Victim, Killer, Res0, Res) :-
  frontchar(Str, OtherChar, RestString),
  frontchar(Res1, OtherChar, Res0),
  replacer(RestString, Victim, Killer, Res1, Res).

Нет, тут реверсная строка похоже, надо str_char и concat, попробуйте самостоятельно.
И это нет, надо добавлять предикат типа reverse.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
replacer(Str, Victim, Killer, Res) :-
  replacer(Str, Victim, Killer, "", Res0),
  reverse_str(Res0, "", Res).
 
replacer("", _, _, Res, Res).
replacer(Str, Victim, Killer, Res0, Res) :-
  frontchar(Str, Victim, RestString),
  frontchar(Res1, Killer, Res0),
  !,
  replacer(RestString, Victim, Killer, Res1, Res).
replacer(Str, Victim, Killer, Res0, Res) :-
  frontchar(Str, OtherChar, RestString),
  frontchar(Res1, OtherChar, Res0),
  replacer(RestString, Victim, Killer, Res1, Res).
 
reverse_str("", Res, Res).
reverse_str(Str, Res0, Res) :-
  frontchar(Str, SomeChar, RestString),
  frontchar(Res1, SomeChar, Res0),
  reverse_str(RestString, Res1, Res).

@Титан_1 · 28.12.2020, 22:20 **[ТС]**

Сообщение от arlat

то надо проходить в отладчике

Ого! В Turbo Prolog есть отладчик?

@arlat · 29.12.2020, 10:33

Сообщение от Титан_1

В Turbo Prolog есть отладчик

Да, в любом Prolog есть отладчик, только простой или более мощный... Трудно, в принципе, представить Prolog без отладчика, тут контрольной печатью сильно не разгонишься

Добавлено через 7 минут
ну вот же, на поверхности, ввел строку поиска "отладчик в турбо пролог"
В. В. Терёхин TURBO PROLOG Учебное пособие

Добавлено через 4 минуты

Сообщение от arlat

В. В. Терёхин TURBO PROLOG Учебное пособие

ну да, про отладку как-то вяло там, но есть это точно

надо пробовать практически

Новые блоги и статьи Все статьи Все блоги /
Кредитный калькулятор Maks 05.08.2026 Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .	У нас сейчас поговорку "Опять 25" нужно переделать на "Опять +35". kumehtar 04.08.2026 С ностальгией вспоминаю времена моего детства, когда у нас и правда +25 - была максимальная температура летом. Раньше +25 °C реально казались вершиной жары, когда можно было весь день пропадать на. . .	Как ИИ начал спорить и врать (возможно почуяв опасность для себя от индустрии - уход от электроники). Hrethgir 04.08.2026 Недельный диалог, на фоне событий с НПЗ. Да, из спирта можно получать бензин, и это не сложно. Но потом в схеме я решил избавиться от насоса, при этом полностью сделав контроль подачи спирта в. . .	Термопринтер QR701 Argus19 03.08.2026 Термопринтер QR701 Купил два термопринтера QR701. На сэлф-тесте написано: Language: PC936 (GB18030). Что означает, что принтеры могут печатать только латиницу и китайские иероглифы. Так же. . .
Создание формы заимствованного документа Maks 03.08.2026 Задача: Необходимо создать собственную форму заимствованного документа. На форме должен быть реквизит "Покупатель", а также табличная часть со следующими реквизитами: - Расчетный счет покупателя. . .	Задача предоставления скидок покупателям Maks 03.08.2026 Задача: В документе "Продажи" необходимо реализовать функционал предоставления скидок покупателям. Скидка должна автоматически рассчитываться и подставляться в соответствующее поле при выборе. . .	Почему SEO не начинается с ключевых слов: что проверить до написания текстов Neotwalker 01.08.2026 Когда владельцу сайта предлагают заняться SEO, первым шагом часто становится сбор запросов и написание текстов. Логика кажется понятной: 1. Находим ключевые слова. 2. Добавляем их на. . .	Знание — сила: Доктрина интенциональности знаний, углубление в формулу Hrethgir 01.08.2026 https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11957&stc=1&d=1785567302 Знаменитый афоризм Фрэнсиса Бэкона «Знание — сила» (Scientia potentia est) в массовой культуре принято понимать. . .

@Титан_1 21 / 21 / 3 Регистрация: 24.05.2014 Сообщений: 1,063
	22.12.2020, 19:35 [ТС]
	arlat, спасибо, а зачем нужен восклицательный знак в первом предикате и зачем строка `replacer("", _, _, "").`? Добавлено через 13 минут Хм, вроде бы `replacer("", _, _, "").` должно означать, что replacer будет выполняться до тех пор, пока Str и Res не опустеют... Получаются, оно нужно, чтобы прервать рекурсию А "!" - для того, чтобы второй replace не начал выполняться если извлечённый символ == Victim, верно? 0