Логическая задача про офицеров

@olejik · Регистрация: 23.08.2010

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

вообще ворос пока про одну строчку, но боюсь, что возникнут еще воросы, по этому создал тему с таким названием.
Вот есть кусок кода

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
predicates
 name (string)
 zvanie(string)
 rod(string)
 sootv(string,string,string)
clauses
 name("yanosh").
 name("ferenc").
 name("bela").
 name("layosh").
 name("andrash").
 zvanie("podpolkovnik").
 zvanie("kapitan").
 zvanie("mayor").
 zvanie("mayor").
 zvanie("mayor").
 rod("letchik").
 rod("saper").
 rod("svyazist").
 rod("artillerist").
 rod("pehotinec").
 sootv(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="yanosh", Y="mayor", Z <> "saper".
goal
 sootv(X,Y,Z)

Суть такова, что yanosh является майором, но он не может быть сапером.
Строчка sootv(X,Y,Z):-name(X),zvanie(Y),rod(Z), X="yanosh", Y="mayor", Z <> "saper" все делает правильно, только вот ворос как она выбрала, что он летчик? Потому что в списке грубо говоря летчик стоит на ервом месте? Почему не пехотинец?

Добавлено через 1 час 3 минуты
т.е. мы в факт sootv отравили, что X, Y, Z могут быть любыми данными. На в самом же факте мы сообщаем, что X является yanosh, на это проверяет факт name. Если факт name говорит, что такого имени нет, то программа вылетает. Далее мы говорим, что Y является mayor, этот факт проверяет zvanie, если факт не истина, то рограмма вылетает, и в последней операции говорим, что Z является чем угодно, кроме как saper, если факт rod выполняется, то к Z приравнивает звание, если нет, то программа вылетает. Так вот, факт rod мне показалось или нет, что он прошелся по всем фактам, а потом уже закончил работать? И как все таки к Z приравнялся letchik?

@keidin · 25.10.2013, 23:06

Насколько помню, в Turbo Prolog есть такие понятия, как внутренняя и внешняя цели. Цель внутренняя, если goal включен в текст программы, в противном случае цель - внешняя.Разница в форме цели влияет на решения, выдаваемые Прологом. Если цель внешняя, то для нее находятся все возможные решения. Если внутренняя - отыскивается первое из возможных решений, и после этого поиск заканчивается.
Кроме того, Пролог проверяет факты и правила всегда «сверху вниз», по порядку их расположения в тексте программы, поэтому и "летчик"

@olejik · 27.10.2013, 14:28 **[ТС]**

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

Насколько помню, в Turbo Prolog есть такие понятия, как внутренняя и внешняя цели. Цель внутренняя, если goal включен в текст программы, в противном случае цель - внешняя.Разница в форме цели влияет на решения, выдаваемые Прологом. Если цель внешняя, то для нее находятся все возможные решения. Если внутренняя - отыскивается первое из возможных решений, и после этого поиск заканчивается.
Кроме того, Пролог проверяет факты и правила всегда «сверху вниз», по порядку их расположения в тексте программы, поэтому и "летчик"

хм... про цели я не знал, да, вы правы, программа выбирает из первого попавшегося факта, удовлетворяющего нашим условиям. А если цель будет внешней, тогда нам выдаст список всех возможных фактов, которые удовлетворяют условиям?

@keidin · 27.10.2013, 15:59

Да, если цель внешняя, то в результате будут выведены все возможные варианты. Хотя если использовать в предикат отсечения, то и в этом случае будет выведено первое возможное решение.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .

@keidin 99 / 99 / 14 Регистрация: 07.02.2013 Сообщений: 128
	25.10.2013, 23:06
	Насколько помню, в Turbo Prolog есть такие понятия, как внутренняя и внешняя цели. Цель внутренняя, если goal включен в текст программы, в противном случае цель - внешняя.Разница в форме цели влияет на решения, выдаваемые Прологом. Если цель внешняя, то для нее находятся все возможные решения. Если внутренняя - отыскивается первое из возможных решений, и после этого поиск заканчивается. Кроме того, Пролог проверяет факты и правила всегда «сверху вниз», по порядку их расположения в тексте программы, поэтому и "летчик" 0

@keidin 99 / 99 / 14 Регистрация: 07.02.2013 Сообщений: 128
	27.10.2013, 15:59
	Да, если цель внешняя, то в результате будут выведены все возможные варианты. Хотя если использовать в предикат отсечения, то и в этом случае будет выведено первое возможное решение. 1