Обед с логикой. Логическая задача

@NejdanX · Регистрация: 21.09.2017

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

Николай хотел пригласить в гости Андрея, Виктора, Сергея, Дмитрия, Евгения, Федора, Георгия и Олега. При этом он столкнулся со следующими трудностями:

· Андрей никогда не придет, если пригласить Виктора или Сергея, или если одновременно придут Дмитрий и Евгений.

· Дмитрий придет только в том случае, если будет приглашен и Евгений.

· Евгений не примет приглашения, если придет Виктор.

· Федор наносит визиты только в сопровождении Георгия.

· Олег не будет возражать против присутствия Федора только в том случае, если будет приглашен и Андрей.

· Если не будет приглашен Федор, то Олег будет против приглашения Евгения.

· Чтобы пришел Георгий, необходимо пригласить Дмитрия или Олега.

· Георгий откажется от приглашения, если пригласят Евгения без Андрея, а также в случае приглашения Виктора или Сергея.

Сколько максимально гостей смогут прийти на ужин? Вывести их имена(Инициалы)

Добавлено через 2 часа 49 минут
Задача решена. Спасибо этому же форуму.
Необходимо внести коррективы в код учебной задачи на Prolog

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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
DOMAINS
int = integer
neighbor = n;a;v;c;d;e;f;g;o
list = neighbor*
gipoteza = gipoteza(list, int)
Otvet = gipoteza*
PREDICATES
nondeterm MN(neighbor)
nondeterm GG(gipoteza)
nondeterm L(list, int, int)
nondeterm BetweenZeroA(int, int)
nondeterm InList(neighbor, list)
nondeterm InputIn(neighbor, gipoteza)
nondeterm GSoch(list, int, list)
nondeterm CheckGipoteza(gipoteza)
nondeterm CheckPravila(int, gipoteza)
nondeterm NotInputIn(neighbor, gipoteza)
nondeterm NeskolkoInpitIn(list, gipoteza)
nondeterm FoundOtvet(gipoteza)
nondeterm FoundMaxOtvet(gipoteza)
nondeterm max(otvet, gipoteza, gipoteza)
nondeterm bigger(gipoteza, gipoteza)
CLAUSES
MN(a).
MN(v).
MN(c).
MN(d).
MN(e).
MN(f).
MN(g).
MN(o).
 
InList(El, [El|_OstEl]).
InList(El, [_FirstEl|OstEl]):-
    InList(El, OstEl).
 
InputIn(El, gipoteza(List, _)) :-
    InList(El, List).
    
NotInputIn(El, Gipoteza):-
    NOT(InputIn(El, Gipoteza)).
 
NeskolkoInpitIn([], _Gipoteza).
NeskolkoInpitIn([First|Ost], Gipoteza):-
    InputIn(First, Gipoteza),
    NeskolkoInpitIn(Ost, Gipoteza).
 
L([], Le, Le).
L([_First|Ost], Buffer, Le):-
    NewBuffer = Buffer + 1,
    L(Ost, NewBuffer, Le).
 
BetweenZeroA(Before, Before).
BetweenZeroA(Before, Number):-
    Before > 0,
    MBefore = Before - 1,
    BetweenZeroA(MBefore, Number).
 
GSoch(_List, 0, []).
GSoch([FirstEl|Ost],
        LSoch,
        [FirstEl|Podlist]):-
    DlinaPodlist = LSoch - 1,
    GSoch(Ost, DlinaPodlist, Podlist).
    GSoch([_FirstEl|Ost], Le, Podlist):-
    GSoch(Ost, Le, Podlist).
 
GG(gipoteza(List, CountG)):-
    findall(Neighbor, MN(Neighbor), Neighbors),
    L(Neighbors, 0, CountN),
    BetweenZeroA(CountN, CountG),
    GSoch(Neighbors, CountG, List).
 
CheckGipoteza(Gipoteza):-
CheckPravila(1, Gipoteza),
CheckPravila(2, Gipoteza),
CheckPravila(3, Gipoteza),
CheckPravila(4, Gipoteza),
CheckPravila(5, Gipoteza),
CheckPravila(6, Gipoteza),
CheckPravila(7, Gipoteza),
CheckPravila(8, Gipoteza).
 
CheckPravila(1, Gipoteza):-
InputIn(a, Gipoteza), NotInputIn(v, Gipoteza), NotInputIn(c, Gipoteza),
NOT(NeskolkoInpitIn([d, e], Gipoteza));
NotInputIn(a, Gipoteza).
 
CheckPravila(2, Gipoteza):-
InputIn(d, Gipoteza), InputIn(e, Gipoteza);
NotInputIn(d, Gipoteza).
 
CheckPravila(3, Gipoteza):-
InputIn(e, Gipoteza), NotInputIn(v, Gipoteza);
NotInputIn(e, Gipoteza).
 
CheckPravila(4, Gipoteza):-
InputIn(f, Gipoteza), InputIn(g, Gipoteza);
NotInputIn(f, Gipoteza).
 
CheckPravila(5, Gipoteza):-
InputIn(o, Gipoteza), InputIn(f, Gipoteza), InputIn(a, Gipoteza);
InputIn(o, Gipoteza), NotInputIn(f, Gipoteza);
NotInputIn(o, Gipoteza).
 
CheckPravila(6, Gipoteza):-
NotInputIn(f, Gipoteza), InputIn(o, Gipoteza), NotInputIn(e, Gipoteza);
InputIn(f, Gipoteza), InputIn(o, Gipoteza);
NotInputIn(o, Gipoteza).
 
CheckPravila(7, Gipoteza):-
InputIn(g, Gipoteza), InputIn(d, Gipoteza);
InputIn(g, Gipoteza), InputIn(o, Gipoteza);
NotInputIn(g, Gipoteza).
 
CheckPravila(8, Gipoteza):-
InputIn(g, Gipoteza), NotInputIn(v, Gipoteza), NotInputIn(c, Gipoteza), InputIn(e, Gipoteza), InputIn(a, Gipoteza);
InputIn(g, Gipoteza), NotInputIn(v, Gipoteza), NotInputIn(c, Gipoteza), NotInputIn(e, Gipoteza);
NotInputIn(g, Gipoteza).
 
FoundOtvet(Otvet):-
    GG(Otvet),
    CheckGipoteza(Otvet).
 
FoundMaxOtvet(Max):-
    findall(Otvet, FoundOtvet(Otvet), Otvets),
    Otvets = [First|Ost],
    max(Ost, First, Max).
 
max([], Buffer, Buffer).
max([First|Ost], Buffer, Max):-
    bigger(First, Buffer), 
    max(Ost, First, Max).
max([First|Ost], Buffer, Max):-
    NOT(bigger(First, Buffer)), 
    max(Ost, Buffer, Max).
 
bigger(gipoteza(_, First), gipoteza(_, Second)) :-
    First > Second.
 
GOAL
FoundMaxOtvet(Otvet), write("Otvet: ", Otvet).

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук 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