Решение неравенства

@Alexartun · Регистрация: 01.10.2015

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

Всем доброго времени суток !
Условия задачи прилагается в изображении!

Мой код для решения

Prolog
1
2
3
4
5
run:- write('Input R,S,T:'),nl,
read(R), number(R), read(S), number(S), read(T), number(T), func(R,S,T,Y), write('Y = '), write(Y),nl. 
func(R,S,T,Y):-R^2<S,Y is 1-R^2.
func(R,S,T,Y):-S=<R^2,R^2=<T,Y is 0.
func(R,S,T,Y):-R^2>T,Y is 1+R^2.

Результат:
1 ?- run.
Input R,S,T:
|: 5.
|: 36.
|: 10.
Y = -24
true

1 ?- run.
Input R,S,T:
|: 1.
|: 2.
|: 10.
Y = 0
true

3 ?- run.
Input R,S,T:
|: 5.
|: 1.
|: 24.
Y = 26
true.

Препод мне написал следующее:" предикат отсечения cut ! не используется. Надо переделать."
Я просто в этом прологе полный 0. ЧТо она хочет ?! Помогите, пожалуйста !

@Catstail · 30.05.2017, 20:53

В 3,4,5 строках вместо точки поставь ",!."

@Alexartun · 30.05.2017, 22:04 **[ТС]**

Немного поправил, вот что написала !
Что она хочет ?

@Black Fregat · 31.05.2017, 03:06

Разберу на примере одного сравнения. Напишем предикат, возвращающий 1 для положительных чисел и 0 для всех остальных. Если без отсечений, в каждом правиле нужно прописывать соответствующие проверки условий:

Prolog
1
2
positive(X, 1) :- X > 0.
positive(X, 0) :- X <= 0.

Если же поставить отсечение в первой ветке, то достаточно одного сравнения:

Prolog
1
2
positive(X, 1) :- X > 0, !.
positive(X, 0).

Почему? Если условие выполнено, то происходит отсечение, и второе правило не выполняется. Значит, если мы попали во второе правило, то условие заведомо не выполнено, и проверять его не нужно.

Так и у Вас в коде: наличие отсечения в первом правиле сделало то условие, который вычеркнул преподаватель, избыточным.

Новые блоги и статьи Все статьи Все блоги /
Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .
[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .

@Catstail Супер-модератор 38192 / 21125 / 4309 Регистрация: 12.02.2012 Сообщений: 34,732 Записей в блоге: 14
	30.05.2017, 20:53
	В 3,4,5 строках вместо точки поставь ",!." 0

@Alexartun 1 / 1 / 0 Регистрация: 01.10.2015 Сообщений: 127
	30.05.2017, 22:04 [ТС]
	Немного поправил, вот что написала ! Что она хочет ? Миниатюры 0