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'а? Мне бы хотелось добавить условие деления на нуль в мой код. Как это сделать?

@Catstail · 10.11.2020, 11:52

Напиши, какую систему нужно решить. Твой код выглядит дико (в т.ч. и на "нормальном" языке)

@Титан_1 · 16.11.2020, 08:34 **[ТС]**

Catstail,

@Catstail · 16.11.2020, 10:25

Титан_1, о, господи... Это - не система уравнений. Это просто функция, которая на разных отрезках вычисляется по разным формулам. Кстати, а как определена функция на отрезке (17,21]?... Вау!!! Логарифм при х<0!!! Слушай, ты в каком ВУЗе (колледже) учишься? Просто интересно, где задают такую глупость?

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

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

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

Как делать if я в частном случае разобрался

- да, заметно...

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
predicates
y(real,real,real,real)
 
clauses
y(A,_,X,R) :- X>-7, X<0, abs(A)>1.0e-15, R=log(abs(X))/A.
y(A,B,X,R) :- X>=0, X<17, C=cos(X), abs(C)>1.0e-15, R=(X*X+2*A*B)/(2*C).
y(A,_,X,R) :- X>21, X<30, abs(A)>1.0e-15, R=(exp(X)+1)/A.
y(_,_,_,_) :- write("Cannot calculate! Bad data."),fail.
 
goal
 
write("a="),readreal(A),
write("b="),readreal(B),
write("x="),readreal(X),
y(A,B,X,Y),write("y="),write(Y),nl.

И обрати внимание, это компактнее, чем на "нормальном" (как ты пишешь) языке. И, опять-таки, не могу не спросить: тебя так учили программировать функции, чтобы при каждом вызове они читали данные пользователя?

@Титан_1 · 16.11.2020, 12:06 **[ТС]**

Catstail, Спасибо, и всё же, в твоём коде нет вложенных if, только команда вывода на случай, если ни один из if-ов не сработал. Мне бы хотелось, чтобы в случае, когда Х вне диапазона, выводилось одно сообщение, а если деление на нуль, то другое. Также, b нужно только в одном уравнении; зачем заставлять пользователя вводить его, если оно, возможно, и не нужно?

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

тебя так учили программировать функции, чтобы при каждом вызове они читали данные пользователя?

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

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

И обрати внимание, это компактнее, чем на "нормальном" (как ты пишешь) языке

Если преимущество пролога - компактность, то вот рабочий код почти в два раза компактнее, чем на прологе:

C++
1
2
3
4
5
6
7
    double x, a, b, tmp;
    cin >> x >> a >> b;
 
    if ((x > -7) && (x <= 0) && a) cout << log(x) / a;
    else if ((x > 0) && (x <= 17) && a && (tmp = 2 * cos(x))) cout << (x * x + 2 * a * b) / tmp;
    else if ((x > 21) && (x < 30)) exp(x) + 1;
    else cout << "\nCannot calculate! Bad data.";

(216 против 399 символов без учёта необязательных пробелов) Но работающий так же

@Catstail · 16.11.2020, 12:16

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

в твоём коде нет вложенных if

- потому, что они не нужны.

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

Мне бы хотелось, чтобы в случае, когда Х вне диапазона, выводилось одно сообщение, а если деление на нуль, то другое.

- это в декларативном прологе делается легко. Без вложенных if

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

зачем заставлять пользователя вводить его, если оно, возможно, и не нужно?

- правильно организованная функция вообще ничего "вводить" не должна. Она должна принимать параметры и возвращать результат. И это не моя прихоть, а один из базовых принципов современного программирования.

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

Здесь я функций не предоставлял.

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

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

о вот рабочий код почти в два раза компактнее, чем на прологе:

- не-не-не. Это очень дешевое "возражение". Твой код не заведется без "обвязки" (#include... using... main... ); кроме того, я ввожу приглашения к вводу, а ты просто читаешь входной поток... Но дело даже не в этом. Проложный код компактен, однако, главная сила Пролога совсем в другом. Он придуман для решения логических задач. Думаю, что на плюсах ты даже не скажешь, с чего начать. И это не в упрек - C++ придуман не для этого.

@Титан_1 · 16.11.2020, 12:52 **[ТС]**

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

правильно организованная функция вообще ничего "вводить" не должна

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

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

это в декларативном прологе делается легко. Без вложенных if

А как же? Без добавления трёх длинных условий, я других путей не вижу

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

не-не-не

Даже с "обвязкой" и приглашениями к вводу короче - 347 символов, хотя теперь уже совсем незначительно. Но, тем не менее, обвязку нужно писать (или, как я это чаще делаю, копипастить и дополнять) только один раз за программу/модуль.
Надеюсь, когда-нибудь увижу задачу, которую на прологе быстрее решить чем в уме, на бумаге или на другом ЯП. Пока, из задач, которых нам задают, я таковых не видел. Кстати, каким компилятором пролога вы пользуетесь? Нам, в университете дали компилятор, который за пределами DOSBox'а не запускается - им пользоваться не очень удобно.

@Catstail · 16.11.2020, 13:08

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

Надеюсь, когда-нибудь увижу задачу, которую на прологе быстрее решить чем в уме, на бумаге или на другом ЯП.

- вот, к примеру, такая задача Задача Эйнштейна. Попробуй решить ее на "нормальном" языке (C/C++/C#/Java). Или в уме (на бумаге).

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

Кстати, каким компилятором пролога вы пользуетесь? Нам, в университете дали компилятор, который за пределами DOSBox'а не запускается - им пользоваться не очень удобно.

- это Турбо-Пролог. У него есть свои плюсы, но платформа сильно устарела. Я его держу под рукой. Но есть масса онлайн-Прологов (ideone.com; jdoodle.com и т.п.)

Добавлено через 59 секунд

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

так как как создавать функции нас (пока) вроде не учили.

- а ВУЗ-то как называется?

@Титан_1 · 16.11.2020, 14:21 **[ТС]**

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

Но есть масса онлайн-Прологов (ideone.com; jdoodle.com и т.п.)

Да, но у них какой-то другой синтаксис - swi и gp, которые я не знаю.

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

а ВУЗ-то как называется?

Эту информацию легко найти, если тебе интересно

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
predicates
y(real,real,real,real)
 
clauses
y(A,_,X,R) :- X>-7, X<0, abs(A)>1.0e-15, R=log(abs(X))/A.
y(A,_,X,R) :- X>-7, X<0, abs(A)<=1.0e-15, write("Вычисление невозможно: Деление на нуль"), fail.
y(A,B,X,R) :- X>=0, X<17, C=cos(X), abs(C)>1.0e-15, R=(X*X+2*A*B)/(2*C).
y(A,B,X,R) :- X>=0, X<17, C=cos(X), abs(C)<1.0e-15, write("Вычисление невозможно: Деление на нуль"), fail.
y(A,_,X,R) :- X>21, X<30, abs(A)>1.0e-15, R=(exp(X)+1)/A.
y(A,_,X,R) :- X>21, X<30, abs(A)<=1.0e-15, write("Вычисление невозможно: Деление на нуль"), fail.
y(_,_,_,_) :- write("Cannot calculate! Bad data."),fail.
 
goal
 
write("x="),readreal(X),
write("a="),readreal(A),
write("b="),readreal(B),
y(A,B,X,Y),write("y="),write(Y),nl.

Почему при x=-5, a=0 он выводит два сообщения, а не одно?

@Catstail · 16.11.2020, 14:38

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

Почему при x=-5, a=0 он выводит два сообщения, а не одно?

- стоит использовать отсечение (прекращение перебора вариантов). Да и порядок проверки играет роль (хоть язык и декларативный)

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
predicates
y(real,real,real,real)
 
clauses
y(A,_,X,_) :- X>-7, X<0, abs(A)<=1.0e-15, write("Division by zero!"),!,fail.
y(A,_,X,R) :- X>-7, X<0, abs(A)>1.0e-15, R=log(abs(X))/A.
y(_,_,X,_) :- X>=0, X<17, C=cos(X), abs(C)<1.0e-15, write("Division by zero!"),!, fail.
y(A,B,X,R) :- X>=0, X<17, C=cos(X), abs(C)>1.0e-15, R=(X*X+2*A*B)/(2*C).
y(A,_,X,_) :- X>21, X<30, abs(A)<=1.0e-15, write("Division by zero!"),!, fail.
y(A,_,X,R) :- X>21, X<30, abs(A)>1.0e-15, R=(exp(X)+1)/A.
y(_,_,_,_) :- write("Cannot calculate! Bad data."),fail.
 
goal
 
write("x="),readreal(X),
write("a="),readreal(A),
write("b="),readreal(B),
y(A,B,X,Y),write("y="),write(Y),nl.

Кстати, вот еще задача для Пролога с решением. На картинке - карта юга США. Нужно раскрасить ее в три цвета (красный, синий, зеленый; так, чтобы соседние штаты не были одного цвета.) Причем, сгенерировать все раскраски. Понятно, что это графовая задача. Попробуй реализовать ее на "нормальном языке". Сделать это можно. Но код будет неприятным... А вот решение на Прологе:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
predicates
 
diff(symbol,symbol)
coloring(symbol,symbol,symbol,symbol,symbol)
 
clauses
 
diff(red,green).
diff(red,blue).
diff(green,red).
diff(green,blue).
diff(blue,red).
diff(blue,green).
 
coloring(Alabama,Mississippi,Georgia,
         Tennessee, Florida) :- 
    diff(Mississippi,Tennessee),  diff(Mississippi,Alabama),  diff(Mississippi,Alabama),
    diff(Alabama,Tennessee),  diff(Alabama,Mississippi),  diff(Alabama,Georgia),
    diff(Alabama,Florida), diff(Georgia,Florida),  diff(Georgia,Tennessee).

Красота! Чисто декларативное решение. Просто говорим: раскрась, но так, чтобы... (см. условие).

@Catstail · 16.11.2020, 14:39

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

Эту информацию легко найти, если тебе интересно

- интересно, но копаться не хочется...

@Титан_1 · 22.12.2020, 14:47 **[ТС]**

И всё же, очень часто возникает необходимость "else" в прологе: если условие выполняется, то это действие, если нет, то другое. Как поставить "else" в прологе? В интернете читал

Prolog
1
2
3
4
  Condition1 → Then1
; Condition2 → Then2
; …
; Else

Например,

Prolog
1
2
3
  (X \= 4; Y \= 3)       -> write('1')
; (A \= 4; Y = 3, Z = 2) -> write('2')
; true   % or drop this line, then it will raise a unification error

Но turbo prolog не принимает символ "->". Видимо, это из Visual Prolog; а есть ли что-то подобное на Turbo Prolog?

@arlat · 22.12.2020, 15:33

а что так не работает?

Prolog
1
  (X \= 4; Y \= 3), write('1') ; (A \= 4; Y = 3, Z = 2), write('2') ; true

Конструкция if then else это для удобства, чтобы если then сработал, то потом на откате не проверялся else.
Оформляйте отдельными предикатами с отсечением, где нужно, не надо в Пролог тянуть Си.
В Visual Prolog да, есть, но там много чего есть, это не совсем Пролог, это на базе Пролога, о чем они прямо и говорят.
Visual Prolog is a multi paradigm programming language based on the logical language Prolog.

Prolog
1
2
3
4
5
6
7
8
9
p(_A, X, Y, _Z) :-
    (X \= 4; Y \= 3),
    !,
    write('1').
p(A, _X, Y, Z) :-
    (A \= 4; Y = 3, Z = 2),
    !,
    write('2').
p(_, _, _, _).

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

arlat, Спасибо, попробую так написать. Ещё вопрос, как добавить char в конец string? То есть A = "слов", B='о', function(A,B,R) %R = "слово". Или может можно как-нибудь превратить char в string?

@arlat · 22.12.2020, 16:20

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

как добавить char в конец string?

Это надо смотреть, что за Пролог.
в Турбо что-то должно быть типа str_len, frontstr, concat, substring
Вот файл помощи для PDC Prolog 3.2.1 это практически Турбо и есть

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

arlat, турбо
str_len - длина строки
frontstr, concat, substring - работают только со строками
frontchar - добавляет в начало, а не в конец

Добавлено через 1 минуту
arlat, во первых, у меня справка не открывается, а во-вторых, не думаю, что там будет то, что я не нашёл в интернете

@arlat · 22.12.2020, 16:26

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

PDC Prolog 3.2.1

Могу кинуть полностью дистрибутив, плюс там система экспертно-диагностическая (реализация 90%) для примеров кода.

Добавлено через 45 секунд

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

у меня справка не открывается

это обычный текстовый файл, на файл помощи винды

Добавлено через 39 секунд

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

для примеров кода

вот примеров там достаточно

@arlat · 22.12.2020, 16:27

только это же все в DOS

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

arlat, открытие нотпадом помогло. Спасибо за файл! Предиката для добавления char в конец string не существует, но хотя бы есть str_char(string,char), позволяющий превратить str в char или обратно

@arlat · 22.12.2020, 16:36

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

str_char

str_char + concat
не удивлюсь, если и без str_char, прокатит просто concat(Str,Chr,NewStr)

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@Catstail Супер-модератор 38164 / 21099 / 4306 Регистрация: 12.02.2012 Сообщений: 34,687 Записей в блоге: 14
	10.11.2020, 11:52
	Напиши, какую систему нужно решить. Твой код выглядит дико (в т.ч. и на "нормальном" языке) 0

@Титан_1 21 / 21 / 3 Регистрация: 24.05.2014 Сообщений: 1,063
	16.11.2020, 08:34 [ТС]
	Catstail, 0

@Титан_1 21 / 21 / 3 Регистрация: 24.05.2014 Сообщений: 1,063
	22.12.2020, 16:04 [ТС]
	arlat, Спасибо, попробую так написать. Ещё вопрос, как добавить char в конец string? То есть A = "слов", B='о', function(A,B,R) %R = "слово". Или может можно как-нибудь превратить char в string? 0

@Титан_1 21 / 21 / 3 Регистрация: 24.05.2014 Сообщений: 1,063
	22.12.2020, 16:24 [ТС]
	arlat, турбо str_len - длина строки frontstr, concat, substring - работают только со строками frontchar - добавляет в начало, а не в конец Добавлено через 1 минуту arlat, во первых, у меня справка не открывается, а во-вторых, не думаю, что там будет то, что я не нашёл в интернете 0

@Титан_1 21 / 21 / 3 Регистрация: 24.05.2014 Сообщений: 1,063
	22.12.2020, 16:32 [ТС]
	arlat, открытие нотпадом помогло. Спасибо за файл! Предиката для добавления char в конец string не существует, но хотя бы есть `str_char(string,char)`, позволяющий превратить str в char или обратно 0