Пролог. Управление поиском решений в программе

[mira95]

Задача: В симфонический оркестр приняли на работу трёх музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.
Известно, что:

1. Смит самый высокий;
2. играющий на скрипке меньше ростом играющего на флейте;
3. играющие на скрипке и флейте и Браун любят пиццу;
4. когда между альтистом и трубачом возникает ссора, Смит мирит их;
5. Браун не умеет играть ни на трубе, ни на гобое.

На каких инструментах играет каждый из музыкантов, если каждый владеет двумя инструментами?

Ребят, если у вас нету готового решения или это сложнорешаемая задача, то, пожалуйста, объясните хотя бы, причем тут рост, любимая еда и взаимоотношения между музыкантами? Это ж логическое программирование, где здесь логика?

[rrrFer]

Ребят, если у вас нету готового решения или это сложнорешаемая задача, то, пожалуйста, объясните хотя бы, причем тут рост, любимая еда и взаимоотношения между музыкантами? Это ж логическое программирование, где здесь логика?

Это решаемая задача.

Рост, любимая еда и т.п. с программированием напрямую не связаны, однако:
1) приведена задача по определению (в ней есть исходные данные и конкретный вопрос);
2) компьютер может решить любую задачу, тогда почему не может решить эту? - (неважно упоминается в условиях задачи труба или еда);
3) чисто исторически логика предикатов (а позже пролог) создавался математиками для доказательства теорем (в задаче условия проще, чем теорема, т.к. достаточно проверить правильность, а не доказать), а затем философами для формализации произвольных текстов (первое, что вам нужно в задаче - формализовать все эти скрипки и флейты так, чтобы даже компьютер понял). Про это можно более подробно прочитать в статье про логическое программирование - там же есть примеры решения логических задач.

Логическое программирование называется так из за логики предикатов, которая лежит в основе (хотя в современных диалектах пролога она очень сильно расширена).

[Smitt&Wesson]

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

Задача: В симфонический оркестр приняли на работу трёх музыкантов: Брауна, Смита и Вессона, умеющих играть на скрипке, флейте, альте, кларнете, гобое и трубе.

Увы, Смитт & Вессон, умеет играть только на гитаре и на нервах. Высокий рост, важен только для скрипача чтобы смычком не повыкалывать глаза двум другим музыкантам .