diff options
| author | Andrew Guschin <guschin@altlinux.org> | 2024-05-07 11:19:25 +0400 |
|---|---|---|
| committer | Andrew Guschin <guschin@altlinux.org> | 2024-05-07 11:19:25 +0400 |
| commit | 5bb3fa401e0438346befc9d1892682e10d597981 (patch) | |
| tree | 4fabff6491eddb9167938558a797c16f0c658617 | |
| parent | ebf4892f76e48b248db906d5125428c338d936a5 (diff) | |
второе задание
| -rw-r--r-- | task2.pro | 56 |
1 files changed, 56 insertions, 0 deletions
@@ -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. |