Решение логических головоломок средствами Турбо-Пролога.

@Виктория1988 · Регистрация: 18.03.2010

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

Кондратьев, Давыдов и Федоров живут на одной улице. Один из них - столяр, другой - маляр, третий - водопроводчик. Недавно

маляр хотел попросить своего знакомого столяра сделать кое-что для своей квартиры, но ему сказали, что столяр работает в

доме водопроводчика. Известно также, что Федоров никогда не слышал о Давыдове. Определите кто чем занимается.

Помогите плиз((

Добавлено через 16 минут
Пожалуйста, очень прошу(((

@Грымзик · 05.04.2011, 00:41

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
25
26
27
28
29
domains
slist=string*
man=m(string,string).
men=man*
 
predicates
permutation(slist,slist).
insert(string,slist,slist).
solve(men).
z(string,string).
znakomi(string,string).
 
clauses
permutation([],[]).
permutation([H|Tail],P):-permutation(Tail,PTail),insert(H,PTail,P).
 
insert(X,L,[X|L]).
insert(X,[H|Tail],[H|NewTail]):-insert(X,Tail,NewTail).
 
z("malyar","stolyar").
z("stolyar","vodoprovodchik").
znakomi(A,B):-z(A,B);z(B,A).
 
solve([m("Kondratiev",A),m("Davidov",B),m("Fedotov",C)]):-
    permutation(["stolyar","malyar","vodoprovodchik"],[A,B,C]),
    not(znakomi(B,C)).
 
goal
solve(Ans).

@Виктория1988 · 05.04.2011, 09:20 **[ТС]**

Спасибо большое. Можете еще пояснить, что это: permutation solve? В Prolog 2.0 это пройдет? У меня просто ошибку не выдает, но и ответ тоже

@rrrFer · 05.04.2011, 10:50

Виктория1988, напиши

Prolog
1
solve(Ans), write(Ans),nl.

@Виктория1988 · 05.04.2011, 11:06 **[ТС]**

Спасибо большое)

Новые блоги и статьи Все статьи Все блоги /
Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .
SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .	Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .

@Виктория1988 1 / 1 / 0 Регистрация: 18.03.2010 Сообщений: 24

	Решение логических головоломок средствами Турбо-Пролога. 04.04.2011, 23:44. Показов 4722. Ответов 4 Метки нет (Все метки) Кондратьев, Давыдов и Федоров живут на одной улице. Один из них - столяр, другой - маляр, третий - водопроводчик. Недавно маляр хотел попросить своего знакомого столяра сделать кое-что для своей квартиры, но ему сказали, что столяр работает в доме водопроводчика. Известно также, что Федоров никогда не слышал о Давыдове. Определите кто чем занимается. Помогите плиз(( Добавлено через 16 минут Пожалуйста, очень прошу((( 0

@Виктория1988 1 / 1 / 0 Регистрация: 18.03.2010 Сообщений: 24
	05.04.2011, 09:20 [ТС]
	Спасибо большое. Можете еще пояснить, что это: permutation solve? В Prolog 2.0 это пройдет? У меня просто ошибку не выдает, но и ответ тоже 0

@Виктория1988 1 / 1 / 0 Регистрация: 18.03.2010 Сообщений: 24
	05.04.2011, 11:06 [ТС]
	Спасибо большое) 0