Опять дома, имена и профессии.

26.06.2012, 21:08. **Показов** 1544. **Ответов** 1

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

На одной улице стоят 4 дома. В каждом из них живет 4 человека: Семен, Николай, Артур и Роман. Каждый из них владеет профессией: Врач, Художник, Егерь, Тренер. Определить кто в каком доме живет и кто какой профессией владеет. Дать ответ в виде заглавных букв каждого имени слева направо.
Известно, что:
1) Художник живет рядом с тренером
2) Врач живет рядом с Художником
3) Егерь левее врача
4) Тренер не рядом с Егерем
5) Художник правее Семена
6) Роман не тренер
7) Семен рядом с Николаем
8) Артур не рядом с Романом

помогите с правильным решением на турбо прологе

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
30
31
32
33
34
Domains
X=symbol
Y=symbol
Predicates
Ryadom(symbol,symbol)
Levee(symbol, symbol)
Right(symbol, symbol)
Cootv(symbol,symbol)
Goal
X(C,H,P,A).
Y(B,X,E,T).
Database  xsp(symbol,integer)
                ysp(symbol,integer)
perest(x,x1), addxsp(x1,1), addysp(y1,1)
addxsp(x,n):-x=[xxt]
addysp(y,n):-y=[yyt]
assertz(xsp(xx,n),n1=n+1)
addxsp(t,n1).
assertz(ysp(yy,n),n1=n+1)
addysp(t,n1).
Addxsp([ ],_). 
Addysp([ ],_).
Ryadom(c1,c2):-ysp(c1,n),nn=n+1,
Ysp(c1,nn);nnn=n-1,ysp(c1,nnn)
Levee(c1,c2):-ysp(c1,n),ysp(c2,m),m<n.
Right(c1,c2):-xsp(c1,n),ysp(c2,m),n>m.
Cootv(c1,c2):-xsp(c1,n),ysp(c2,m),m=n.
Clauses
Ryadom(X,T).
Ryadom(B,X).
Levee(E,B).
Not(ryadom(T,E)).
Right(X,C).
Not(cootv(P,T)).

@Грымзик · 26.06.2012, 22:35

Задача простая, поищите на форуме задачу Эйнштейна, сделайте по аналогии.
Начало будет таким

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
left(X,Y,[X,Y,_,_]).
left(X,Y,[X,_,Y,_]).
left(X,Y,[X,_,_,Y]).
left(X,Y,[_,X,Y,_]).
left(X,Y,[_,X,_,Y]).
left(X,Y,[_,_,X,Y]).
 
right(X,Y,L):-left(Y,X,L).
 
nextdoor(X,Y,L):-left(X,Y,L);right(X,Y,L).
 
solve(L):-L=[_,_,_,_],
     nextdoor(h(_,"artist"),h(_,"trainer"),L),
     nextdoor(h("Semen",_),h("Nikolay",_),L).
     ...

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .