Логическая задача! Кто выше ростом.

@fs_x · Регистрация: 11.10.2012

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

Коля ростом выше Васи, но ниже Сережи. Кто выше: Вася или Сережа?

Как расписать в турбопрологе?

@SpamBot · 13.10.2012, 16:47

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
domains
 man = symbol
predicates
 tallerfact(man,man)
 taller(man,man)
 whoistaller(man,man,man)
goal
 whoistaller(vasya,sergey,TALLER),
 write(TALLER).
clauses
 tallerfact(kolya,vasya).
 tallerfact(sergey,kolya).
 taller(X,Y) if tallerfact(X,Y) or tallerfact(X,Z)
                and tallerfact(Z,Y).
 whoistaller(X,Y,X) if taller(X,Y).
 whoistaller(X,Y,Y) if taller(Y,X).
 whoistaller(X,Y,"No rules for such people")
  if not (taller(X,Y)) and not(taller(Y,X)).

@fs_x · 23.10.2012, 06:37 **[ТС]**

Спасибо! Но я решил на турбе прологе! Думаю правильно!

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 Domains
s=symbol
 
 Predicates
vyshe(s,s).
vyshe1(s,s).
kto_vyshe(s,s,s).
    
 Clauses
vyshe(kolya,vasya).
vyshe(sergey,kolya).
vyshe1(X,Y):-vyshe(X,Z),vyshe(Z,Y).
kto_vyshe(X,Y,Z):-vyshe(X,Y),vyshe(Y,Z).
 
 goal
kto_vyshe(X,Y,Z)

Новые блоги и статьи Все статьи Все блоги /
YAFU@home — распределённые вычисления для математики. На CPU Programma_Boinc 20.01.2026 YAFU@home — распределённые вычисления для математики. На CPU YAFU@home — это BOINC-проект, который занимается факторизацией больших чисел и исследованием aliquot-последовательностей. Звучит. . .	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 полиномов. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .
Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .

@fs_x 1 / 1 / 0 Регистрация: 11.10.2012 Сообщений: 24

	Логическая задача! Кто выше ростом. 12.10.2012, 18:03. Показов 3199. Ответов 2 Метки нет (Все метки) Коля ростом выше Васи, но ниже Сережи. Кто выше: Вася или Сережа? Как расписать в турбопрологе? 0