From 5bb3fa401e0438346befc9d1892682e10d597981 Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Tue, 7 May 2024 11:19:25 +0400 Subject: =?UTF-8?q?=D0=B2=D1=82=D0=BE=D1=80=D0=BE=D0=B5=20=D0=B7=D0=B0?= =?UTF-8?q?=D0=B4=D0=B0=D0=BD=D0=B8=D0=B5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- task2.pro | 56 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 56 insertions(+) diff --git a/task2.pro b/task2.pro index 2479f1d..02f996d 100644 --- a/task2.pro +++ b/task2.pro @@ -110,4 +110,60 @@ ?- forall((рейс(Номер), ежедн_не_позже(Номер, 1200)), информация(Номер)). +?- writeln("\n\nЗадание 6:"). +перевод(книга, book). +перевод(книга, volume). +перевод(раздел, volume). +перевод(стол, table). +перевод(стол, desk). +перевод(дом, house). +перевод(дом, home). +перевод(собака, dog). +перевод(кошка, cat). +перевод(яблоко, apple). +перевод(вода, water). +перевод(солнце, sun). +перевод(небо, sky). + +?- writeln("Содержимое словаря:"). +?- forall(перевод(X, Y), (write(X), write(" - "), writeln(Y))). +?- writeln("Возможные переводы слова 'volume':"). +?- forall(перевод(X, volume), writeln(X)). +?- writeln("Возможные переводы слова 'стол':"). +?- forall(перевод(стол, X), writeln(X)). + + +?- writeln("\n\nЗадание 8:"). +% Факты о учениках и их увлечениях +ученик(анна, 9). +ученик(петр, 9). +ученик(олег, 10). +ученик(ирина, 10). +ученик(светлана, 11). +ученик(дмитрий, 11). + +увлекается(анна, кино). +увлекается(петр, музыка). +увлекается(олег, кино). +увлекается(ирина, спорт). +увлекается(светлана, кино). +увлекается(дмитрий, кино). + +?- writeln('Увлечения учеников:'). +?- forall( + (ученик(Имя, Класс), увлекается(Имя, Увлечение)), + (write(Имя), write(' из класса '), write(Класс), write(' увлекается '), writeln(Увлечение))). + +пары_для_кино(Класс) :- + ученик(Имя1, Класс), + увлекается(Имя1, кино), + ученик(Имя2, Класс2), + увлекается(Имя2, кино), + Класс \= Класс2, + write(Имя1), write(' из класса '), write(Класс), write(' и '), write(Имя2), write(' из класса '), write(Класс2), nl, + fail. + +?- nl, writeln("Пары для похода в кино:"). +?- пары_для_кино(_). + ?- halt. -- cgit v1.2.3