Логическая задача на Прологе, о просмотре семьей телевизора.()

@НатНат · Регистрация: 13.12.2011

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

Добрый вечер!
Условие задачи: Семья, состоящая из отца, матери и трех дочерей - Ани, Веры и Cветы, - купила телевизор. Каждому, конечно, хотелось посмотреть передачу в первый вечер.
- Нам нужно распределить обязанности, чтобы не остаться без ужина, - сказал папа.
- Правильно, - поддержала мама. - Но только когда ты будешь смотреть передачу, я тоже сяду у телевизора.
- Хорошо, - согласился папа. - Кому из нас повезло, так это Свете и Вере, - улыбнулся папа.
- По крайней мере, одна из них получит удовольствие.
- А нам с тобой, Анечка, придется смотреть передачу только по очереди, - сказала мама.
- Я согласна, - ответила Аня. - Только ты нам разреши с Верой вместе работать на кухне или вместе быть у телевизора.
- Пожалуй, Свету одну нельзя оставлять, - сказал папа. - Если она пожелает смотреть передачу, то придется и мне с Верой посидеть с ней.
Все предложения были приняты. Кто смотрел передачу в первый вечер?
вот я тут кое что сделала

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
35
36
37
38
domains
    s=symbol
predicates
    nondeterm name(s)
    nondeterm razn(s,s)
    nondeterm prav(s,s)
    %nondeterm prav2(s,s)
    %nondeterm prav3(s,s)
    %nondeterm prav4(s,s)
    %nondeterm prav5(s,s)
    nondeterm otvet(s,s)
clauses
%name("Папа").name("Мама").name("Аня").name("Вера").name("Света").
name("Телевизор").name("Ужин").
razn(X,Y):- name(X),name(Y),X<>Y.
 
prav(X,Y):- razn(X,Y),X="Папа",X="Мама",Y<>"Папа",Y<>"Мама".
%prav(X,Y):- razn(X,Y),Y="Папа",X="Мама",X<>"Папа",Y="Мама".
%prav(X,Y):- razn(X,Y),Y="Папа",Y="Мама",X<>"Папа",X<>"Мама".
 
prav(X,Y):- razn(X,Y),X="Света",X="Вера",Y<>"Света",Y<>"Вера".
prav(X,Y):- razn(X,Y),Y="Света",X="Вера",X<>"Света",Y<>"Вера".
prav(X,Y):- razn(X,Y),X="Света",Y="Вера",Y<>"Света",X<>"Вера".
 
prav(X,Y):- razn(X,Y),X="Аня",Y="Мама",Y<>"Аня",X<>"Мама".
prav(X,Y):- razn(X,Y),X="Мама",Y="Аня",Y<>"Мама",X<>"Аня".
 
prav(X,Y):- razn(X,Y),X="Вера",X="Аня",Y<>"Вера",Y<>"Аня".
prav(X,Y):-razn(X,Y),Y="Вера",Y="Аня",X<>"Вера",X<>"Аня".
 
prav(X,Y):-razn(X,Y), X="Света", X="Папа", X="Вера",Y<>"Света", Y<>"Папа", Y<>"Вера".
%prav(X,Y):-razn(X,Y), Y="Света",X<>"Света",X="Папа", X="Вера".
%prav(X,Y):-razn(X,Y), Y="Света",X<>"Света", X<>"Папа", X<>"Вера".
 
 
otvet(X,Y):-prav(X,Y).%,prav2(X,Y),prav3(X,Y),prav4(X,Y),prav5(X,Y).
goal
otvet(X,Y).

а он no Solution говорит.. почему ничего не найдено?логично же все вроде..=( помогите пожалуйста.

@Грымзик · 15.12.2011, 22:36

У Вас во всех правилах prav есть моменты типа
X="Папа",X="Мама"
Ну и естественно, что нету такого Х, который сразу бы и Папе и Маме был равен.

@НатНат · 15.12.2011, 22:45 **[ТС]**

а, вот оно как!
а вот если так сделать?

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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
domains
    s=symbol
predicates
    nondeterm name(s)
    nondeterm razn(s,s,s,s,s)
    nondeterm prav1(s,s,s,s,s)
    nondeterm prav2(s,s,s,s,s)
    nondeterm prav3(s,s,s,s,s)
    nondeterm prav4(s,s,s,s,s)
    nondeterm prav5(s,s,s,s,s)
    nondeterm otvet(s,s,s,s,s)
clauses
name("Папа").name("Мама").name("Аня").name("Вера").name("Света").
%name("Телевизор").name("Ужин").
%razn(X,Y):- name(X),name(Y),X<>Y.
razn(X1,X2,X3,X4,X5):- name(X1),name(X2),name(X3),name(X4),name(X5),
                    X1<>X2,X1<>X3,X1<>X4,X1<>X5,X2<>X3,X2<>X4,X2<>X5,X3<>X4,X3<>X5,X4<>X5.
prav1(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X1="Телевизор",X2="Телевизор".
prav1(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X1<>"Телевизор",X2="Телевизор".
prav1(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X1<>"Телевизор",X2<>"Телевизор".
%prav(X,Y):- razn(X,Y),Y="Папа",X="Мама",X<>"Папа",Y="Мама".
%prav(X,Y):- razn(X,Y),Y="Папа",Y="Мама",X<>"Папа",X<>"Мама".
 
prav2(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X4="Телевизор",X5="Телевизор".
prav2(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X4="Телевизор",X5<>"Телевизор".
prav2(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X4<>"Телевизор",X5="Телевизор".
%prav(X,Y):- razn(X,Y),Y="Света",X="Вера",X<>"Света",Y<>"Вера".
%prav(X,Y):- razn(X,Y),X="Света",Y="Вера",Y<>"Света",X<>"Вера".
 
prav3(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X3="Телевизор",X2<>"Телевизор".
prav3(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X3<>"Телевизор",X2="Телевизор".
%prav(X,Y):- razn(X,Y),X="Мама",Y="Аня",Y<>"Мама",X<>"Аня".
 
prav4(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X4="Телевизор",X3="Телевизор".
prav4(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X4<>"Телевизор",X3<>"Телевизор".
%prav(X,Y):-razn(X,Y),Y="Вера",Y="Аня",X<>"Вера",X<>"Аня".
 
prav5(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X5="Телевизор", X1="Телевизор", X4="Телевизор".
prav5(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X5<>"Телевизор", X1="Телевизор", X4="Телевизор".
prav5(X1,X2,X3,X4,X5):- razn(X1,X2,X3,X4,X5),X5<>"Телевизор", X1<>"Телевизор", X4<>"Телевизор".
%prav(X,Y):-razn(X,Y), Y="Света",X<>"Света",X="Папа", X="Вера".
%prav(X,Y):-razn(X,Y), Y="Света",X<>"Света", X<>"Папа", X<>"Вера".
 
 
otvet(X1,X2,X3,X4,X5):-prav1(X1,X2,X3,X4,X5),prav2(X1,X2,X3,X4,X5),
                       prav3(X1,X2,X3,X4,X5),prav4(X1,X2,X3,X4,X5),prav5(X1,X2,X3,X4,X5).
goal
otvet(Папа,Мама,Аня,Вера,Света).

правда тут тоже no Solution.=(не понимаю..

@Грымзик · 15.12.2011, 23:16

Вы сравниваете X1="Телевизор", а Х1 не может быть телевизору равен, т.к он из
name("Папа").name("Мама").name("Аня").na me("Вера").name("Света").

@freest · 15.12.2011, 23:56

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
domains
    p=sveta;anya;vera;papa;mama
    pl=p*
predicates
    tv(p,pl)
    nondeterm watch(pl)
    member(p,pl)
    nondeterm select(pl,pl)
    nondeterm lucky(pl)
clauses
    select([],[]):-!.
    select([H|T],R):-select(T,Rn),R=Rn;select(T,Rn),R=[H|Rn].
    
    member(X,[X|_]):-!.
    member(X,[_|T]):-member(X,T).
    
    lucky(TV):-member(sveta,TV);member(vera,TV);member(sveta,TV),member(vera,TV).
    
    tv(mama,TV):-member(papa,TV),not(member(anya,TV)),!,member(mama,TV).
    tv(mama,TV):-not(member(mama,TV)).
    
    tv(anya,TV):-member(vera,TV),not(member(anya,TV)),!,member(anya,TV).
    tv(anya,TV):-not(member(anya,TV)).
    
    tv(sveta,TV):-member(papa,TV),member(vera,TV),member(sveta,TV),!.
    tv(sveta,TV):-not(member(sveta,TV)).
    
    watch(TV):-
        select([sveta,anya,vera,papa,mama],TV),
        tv(mama,TV),tv(anya,TV),tv(sveta,TV),not(TV=[]).
goal 
    watch(X).

@НатНат · 16.12.2011, 00:28 **[ТС]**

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

Добавлено через 15 минут
а там должно аня и вера получится..=(((((

@freest · 16.12.2011, 00:53

из-за копи-паста опечатка сори и еще кое-что пропустил

Добавлено через 10 минут
да натупил по полной сори

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
35
36
37
38
domains
    p=sveta;anya;vera;papa;mama
    pl=p*
predicates
    tv(p,pl)
    nondeterm watch(pl)
    member(p,pl)
    nondeterm select(pl,pl)
    nondeterm lucky(pl)
clauses
    select([],[]):-!.
    select([H|T],R):-select(T,Rn),R=Rn;select(T,Rn),R=[H|Rn].
    
    member(X,[X|_]):-!.
    member(X,[_|T]):-member(X,T).
    
    lucky(TV):-member(sveta,TV);member(vera,TV);member(sveta,TV),member(vera,TV).
    
    tv(mama,TV):-member(papa,TV),not(member(anya,TV)),!,member(mama,TV).
    tv(mama,TV):-not(member(mama,TV)),!.
    
    tv(papa,TV):-member(papa,TV),!,member(mama,TV).
        tv(papa,TV):-not(member(papa,TV)),!.
        
    tv(anya,TV):-member(vera,TV),not(member(mama,TV)),!,member(anya,TV).
    tv(anya,TV):-not(member(anya,TV)),!.
    
    tv(vera,TV):-member(anya,TV),!,member(vera,TV).
    tv(vera,TV):-not(member(vera,TV)),!.
    
    tv(sveta,TV):-member(papa,TV),member(vera,TV),member(sveta,TV),!.
    tv(sveta,TV):-not(member(sveta,TV)),!.
    
    watch(TV):-
        select([sveta,anya,vera,papa,mama],TV),
        tv(mama,TV),tv(papa,TV),tv(anya,TV),tv(vera,TV),tv(sveta,TV),lucky(TV).
goal 
    watch(X).

@НатНат · 16.12.2011, 00:57 **[ТС]**

freest,извините. а можно узнать что надо поправить, чтобы из вот этого -
X=[papa,mama]
X=[vera,papa,mama]
X=[anya,vera]
X=[anya,vera,papa]
X=[sveta,vera,papa,mama]
X=[sveta,anya,vera,papa]
6 Solutions
осталось только X=[anya,vera]?

Добавлено через 1 минуту
ааа. спасибо большое!я постараюсь это понять.

@freest · 16.12.2011, 00:58

так и осталось только то, что надо

@НатНат · 16.12.2011, 01:08 **[ТС]**

еще один маленький вопросик. можно ли как нибудь так усовершенствовать то , что я в первом посте написала, или это безнадежный бред?

@freest · 16.12.2011, 01:44

не понял о чем вы

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	15.12.2011, 22:36
	У Вас во всех правилах prav есть моменты типа X="Папа",X="Мама" Ну и естественно, что нету такого Х, который сразу бы и Папе и Маме был равен. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	15.12.2011, 23:16
	Вы сравниваете X1="Телевизор", а Х1 не может быть телевизору равен, т.к он из name("Папа").name("Мама").name("Аня").na me("Вера").name("Света"). 0

@НатНат 0 / 0 / 0 Регистрация: 13.12.2011 Сообщений: 19
	16.12.2011, 00:28 [ТС]
	а как можно сделать, чтобы все таки телик посмотрел кто нибудь? Добавлено через 15 минут а там должно аня и вера получится..=((((( 0

@НатНат 0 / 0 / 0 Регистрация: 13.12.2011 Сообщений: 19
	16.12.2011, 00:57 [ТС]
	freest,извините. а можно узнать что надо поправить, чтобы из вот этого - X=[papa,mama] X=[vera,papa,mama] X=[anya,vera] X=[anya,vera,papa] X=[sveta,vera,papa,mama] X=[sveta,anya,vera,papa] 6 Solutions осталось только X=[anya,vera]? Добавлено через 1 минуту ааа. спасибо большое!я постараюсь это понять. 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	16.12.2011, 00:58
	так и осталось только то, что надо 0

@НатНат 0 / 0 / 0 Регистрация: 13.12.2011 Сообщений: 19
	16.12.2011, 01:08 [ТС]
	еще один маленький вопросик. можно ли как нибудь так усовершенствовать то , что я в первом посте написала, или это безнадежный бред? 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	16.12.2011, 01:44
	не понял о чем вы 0