Не запускается программа

@Дженни · Регистрация: 17.12.2009

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

Помогите пожалуйста. Написала программу, вроде всё правильно, но когда запускаю появляется ошибка 209 и программа не запускается. Посоветуйте что делать.

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
predicates
rod(symbol,symbol)
mama(symbol,symbol)
papa(symbol,symbol)
ded(symbol,symbol)
baba(symbol,symbol)
brak(symbol,symbol)
brat(symbol,symbol)
sestra(symbol,symbol)
tetya(symbol,symbol)
dyadya(symbol,symbol)
cusen(symbol,symbol)
cusina(symbol,symbol)
uncle(symbol,symbol)
aunt(symbol,symbol)
nevestka(symbol,symbol)
zyat(symbol,symbol)
test(symbol,symbol)
svekr(symbol,symbol)
man(symbol)
woman(symbol)
clauses
man("Zaycev Vladimir Viktorovich").
man("Zaycev Viktor Fedorovich").
man("Zaycev Fedor Stepanovich").
man("Bazylev Vasiliy Mihaylovich").
man("Bazylev Mihail Ignatevich").
man("Voh Yaroslav Vasilevich").
man("Voh Vasiliy Petrovich").
man("Belikov Sergey Platonovich").
woman("Zayceva Anna Vladimirovna").
woman("Konovalova Ekaterina Vladimirovna").
woman("Zayceva Olga Yaroslavovna").
woman("Chekanova Tamara Leonidovna").
woman("Chekanova Zoya Sergeevna").
woman("Belikova Anna Dmitrievna").
woman("Voh Ekaterina Ivanovna").
woman("Zaiceva Klavdiya Mihaylovna").
woman("Bazileva Mariya Aleksandrovna").
woman("Dovgaya Lidiya Fedorovna").
woman("Zayceva Anastasiya Alekseevna").
papa("Zaycev Vladimir Viktorovich","Zayceva Anna Vladimirovna").
papa("Zaycev Vladimir Viktorovich","Konovalova Ekaterina Vladimirovna").
papa("Zaycev Viktor Fedorovich","Zaycev Vladimir Viktorovich").
papa("Zaycev Fedor Stepanovich","Zaycev Viktor Fedorovich").
papa("Zaycev Fedor Stepanovich","Dovgaya Lidiya Fedorovna").
papa("Bazilev Mihail Ignatevich","Zayceva Klavdiya Mihailovna").
papa("Bazilev Mihail Ignatevich","Bazilev vasiliy Mihailovich").
papa("Voh Yaroslav Vasilevich","Zayceva Olga Yaroslavovna").
papa("Voh Vasiliy Petrovich","Voh Yaroslav Vasilevich").
papa("Belikov Sergey Platonovich","Chekanova Zoya Sergeevna").
mama("Zayceva Olga Yaroslavovna","Zayceva Anna Vladimirovna").
mama("Zayceva Olga Yaroslavovna","Konovalova Ekaterina Vladimirovna").
mama("Chekanova Zoya Sergeevna","Zayceva Olga Yaroslavovna").
mama("Chekanova Zoya Sergeevna","Chekanova Tamara Leonidovna").
mama("Belikova Anna Dmitrievna","Chekanova Zoya Sergeevna").
mama("Voh Ekaterina Ivanovna","Voh Yaroslav Vasilevich").
mama("Zaiceva Klavdiya Mihaylovna","Zaycev Vladimir Viktorovich").
mama("Bazileva Mariya Aleksandrovna","Zaiceva Klavdiya Mihaylovna").
mama("Bazileva Mariya Aleksandrovna","Bazylev Vasiliy Mihaylovich").
mama("Zayceva Anastasiya Alekseevna","Zaycev Viktor Fedorovich").
mama("Zayceva Anastasiya Alekseevna","Dovgaya Lidiya Fedorovna").
brak("Zaycev Vladimir Viktorovich","Zayceva Olga Yaroslavovna").
brak("Zaycev Viktor Fedorovich","Zaiceva Klavdiya Mihaylovna").
brak("Voh Yaroslav Vasilevich","Chekanova Zoya Sergeevna").
brak("Safronov Vlaimir Sergeevich","Chekanova Tamara Leonidovn").
brak("Konovalov Valeriy Sergeevich","Konovalova Ekaterina Vladimirovna").
brak("Zaycev Fedor Stepanovich","Zayceva Anastasiya Alekseevna").
brak("Bazylev Mihail Ignatevich","Bazileva Mariya Aleksandrovna").
brak("Voh Vasiliy Petrovich","Voh Ekaterina Ivanovna").
brak("Belikov Sergey Platonovich","Belikova Anna Dmitrievna").
rod(Z):-mama(X,Z),papa(X,Z).
ded(X,Y):-rod(Z,Y),papa(X,Z).
baba(X,Y):-rod(Z,Y),mama(X,Z).
brat(X,Y):-rod(Z,X),rod(Z,Y),man(X),X<>Y.
sestra(X,Y):-rod(Z,X),rod(Z,Y),woman(X),X<>Y.
tetya(X,Y):-rod(Z,Y),sestra(X,Z).
dyadya(X,Y):-rod(Z,Y),brat(X,Z).
cusen(X,Y):-dyadya(Z,Y),papa(Z,X),man(X),tetya(Z,Y),mama(Z,X),man(X).
cusina(X,Y):-dyadya(Z,Y),papa(Z,X),woman(X),tetya(Z,Y),mama(Z,X),woman(X).
uncle(X,Y):-tetya(Z,Y),brak(X,Z).
aunt(X,Y):-dyadya(Z,Y),brak(Z,X).
nevestka(X,Y):-rod(Y,Z),brak(Z,X).
zyat(X,Y):-rod(Y,Z),brak(X,Z).
test(X,Y):-papa(X,Z),brak(Y,Z).
svekr(X,Y):-papa(X,Z),brak(Z,Y).

Добавлено через 4 минуты
Всё спасибо уже решила проблему. Просто забыла дописать X в строчке rod(Z):-mama(X,Z),papa(X,Z).

@Boris1231 · 28.05.2012, 20:45

установил visual prolog 7.3 имеется пример программы формата .pro, при запуске выдает ошибку синтаксис эрор и ссылается на строку predicats

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
predicates
   nondeterm likes(symbol, symbol)
   nondeterm fruit(symbol)
   nondeterm color(symbol, symbol)
   
clauses
   % что любит Мери
   likes(mary, pears).
   likes(mary, popcorn).
   likes(mary, apples).
 
   % что любит Бет
   % Бет любит то, что любит Мери, если это фрукт и если он красный
   likes(beth, X):-likes(mary, X), fruit(X), color(X, red).
   % Бет любит то, что любит Мери, если это кукурузные зерна
   likes(beth, X):-likes(mary, X), X=popcorn.
 
 
   % справочная информация
   fruit(pears).        
   fruit(apples).
 
   color(pears, yellow).
   color(oranges, orange).
   color(apples, red).
   color(apples, yellow).
   
goal
   likes(beth, X).

@Грымзик · 28.05.2012, 23:22

Не понимаю людей, некоторые создают темы, которые уже миллион раз встречались, а некоторые поднимают темы, которые особо к их проблеме и не относятся. Не всеже сообщения "не компилится" в одну тему помещать?) А по сути - данный код для visual prolog 5.2, для 7.3 очень много менять надо.

Новые блоги и статьи Все статьи Все блоги /
Отправка уведомления на почту при изменении наименования справочника Maks 24.03.2026 Программная отправка письма электронной почты на примере изменения наименования справочника "Склады" в конфигурации БП3. Перед реализацией необходимо выполнить настройку системной учетной записи. . .	модель ЗдравоСохранения 5. Меньше увольнений- больше дохода! anaschu 24.03.2026 Теперь система здравосохранения уменьшает количество увольнений. 9TO2GP2bpX4 a42b81fb172ffc12ca589c7898261ccb/ https:/ / rutube. ru/ video/ a42b81fb172ffc12ca589c7898261ccb/ Слева синяя линия -. . .	Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .
SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .	Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью в конфигурации КА2. Данные берутся из регистра сведений, по. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	28.05.2012, 23:22
	Не понимаю людей, некоторые создают темы, которые уже миллион раз встречались, а некоторые поднимают темы, которые особо к их проблеме и не относятся. Не всеже сообщения "не компилится" в одну тему помещать?) А по сути - данный код для visual prolog 5.2, для 7.3 очень много менять надо. 0