Вывести все возможные пары учеников [SWI Prolog]

@Евдокия · Регистрация: 24.10.2013

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

База данных содержит факты вида ученик(имя, класс) и увлекается(имя, хобби). Необходимо составить программу, которая подбирает одному из учеников указанного класса, увлекающемуся футболом, пару из других классов и вывести все возможные пары.

Prolog
1
2
3
4
5
6
7
8
9
10
ученик(Петя,5).
ученик(Ваня,6).
ученик(Вася,4).
ученик(Маша,4).
ученик(Федя,7).
увлекается(Петя,футбол).
увлекается(Ваня,футбол).
увлекается(Вася,футбол).
увлекается(Маша,рисование).
увлекается(Федя,теннис).

Подскажите, пожалуйста, как правильно составить запрос, который выводит все возможные пары учеников?

Добавлено через 21 час 27 минут

@arlat · 11.11.2016, 18:16

Prolog
1
2
3
4
5
6
7
8
9
10
ученик(петя,5).
ученик(ваня,6).
ученик(вася,4).
ученик(маша,4).
ученик(федя,7).
увлекается(петя,футбол).
увлекается(ваня,футбол).
увлекается(вася,футбол).
увлекается(маша,рисование).
увлекается(федя,теннис).

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
?- Увл = футбол, увлекается(Кто1,Увл), ученик(Кто1,Класс1), увлекается(Кто2,Увл), ученик(Кто2,Класс2), Класс1 < Класс2.
Увл = футбол,
Кто1 = петя,
Класс1 = 5,
Кто2 = ваня,
Класс2 = 6 ;
Увл = футбол,
Кто1 = вася,
Класс1 = 4,
Кто2 = петя,
Класс2 = 5 ;
Увл = футбол,
Кто1 = вася,
Класс1 = 4,
Кто2 = ваня,
Класс2 = 6 ;
false.

пара для футбола из другого класса
Только с кириллицей осторожней, могут быть неприятности. Лучше в кавычки брать.

Новые блоги и статьи Все статьи Все блоги /
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025	Расскажи мне о Мире, бродяга kumehtar 12.11.2025 — Расскажи мне о Мире, бродяга, Ты же видел моря и метели. Как сменялись короны и стяги, Как эпохи стрелою летели. - Этот мир — это крылья и горы, Снег и пламя, любовь и тревоги, И бескрайние. . .

Вывести все возможные пары учеников [SWI Prolog]

Решение