Перевод задачи с английского языка

Aleator · Регистрация: 04.05.2011

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

Прошу помощи при переводе задачи по прологу. Почему здесь? Смысл я понял, а при художественном переводе что-то "проложное" может пропасть.

SumSum, a competitor of Appy, developed some nice smart phone technology called Galactica-S3, all of which was stolen by Stevey, who is a Boss. It is unethical for a Boss to steal business from rival companies. A competitor of Appy is a rival. Smart phone technology is a business.

Using the prolog search engine, prove that Stevey is unethical.

@Black Fregat · 20.10.2015, 04:11

Мне кажется, эту задачу можно решать и без перевода

Совершенно не нужно знать, что такое rival, чтобы включить его в цепочку силлогизмов.

Не по теме:

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

Aleator · 20.10.2015, 11:42 **[ТС]**

Проверьте пожалуйста. Работает правильно, но хотелось бы узнать правильно ли написан код

Prolog
1
2
3
4
5
6
7
8
9
10
11
competitor('SumSum', 'Appy').
developed('SumSum', Y):- smart_phone_technology(Y).
smart_phone_technology('Galactica-S3').
stolen('Stevey', 'SumSum', 'Galactica-S3').
 
boss('Stevey').
unethical(X):- boss(X), rival(Y), business(Z), stolen(X, Y, Z).
 
rival(X):- competitor(X, 'Appy').
 
business(X):- smart_phone_technology(X).

Новые блоги и статьи Все статьи Все блоги /
Переходник 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 и. . .

Aleator 102 / 87 / 17 Регистрация: 04.05.2011 Сообщений: 1,330

	Перевод задачи с английского языка 19.10.2015, 18:54. Показов 894. Ответов 2 Метки нет (Все метки) Прошу помощи при переводе задачи по прологу. Почему здесь? Смысл я понял, а при художественном переводе что-то "проложное" может пропасть. SumSum, a competitor of Appy, developed some nice smart phone technology called Galactica-S3, all of which was stolen by Stevey, who is a Boss. It is unethical for a Boss to steal business from rival companies. A competitor of Appy is a rival. Smart phone technology is a business. Using the prolog search engine, prove that Stevey is unethical. 0

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	20.10.2015, 04:11
	Мне кажется, эту задачу можно решать и без перевода Совершенно не нужно знать, что такое rival, чтобы включить его в цепочку силлогизмов. Не по теме: Всегда умиляли преподаватели, призывающие стрелять из проложной пушки по таким воробьиным задачам.. Перевод условия на пролог займёт больше времени, чем прямое доказательство 1