Не могу понять, почему ругается компилятор. SWI-Prolog

@Oktava6 · Регистрация: 03.04.2014

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

Вот описание задачи:
Написать программу, которая читает символьную запись многочлена от одной переменной, список значений коэффициентов, значение переменной и вычисляет значение многочлена.

Собственно, вот сама программа:

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
predicates
 
vozvesti(integer,integer,integer)
count(integer,integer,integer)
 
clauses
 op(500,xfx,x).
 op(550,yfx,+).
 op(550,yfx,-).
 vozvesti(X,0,1).
 vozvesti(X,N,R):-
              0 is N mod 2,
              M is N div 2,
              vozvesti(X,M,Q),
              R is Q*Q.
 vozvesti(X,N,R):-
              M is N-1,
              vozvesti(X,M,Q),
              R is Q*X.
 
 count(CxP,X,V):-
               vozvesti(X,P,XP),
               V is C*XP.
 count(P+Q,X,V):-
               count(P,X,Vp),
               count(Q,X,Vq),
               V is Vp+Vq.
 count(P-Q,X,V):-
               count(P,X,Vp),
               count(Q,X,Vp),
               V is Vp-Vq.

Попытка компиляции приводит к следующему сообщению:

pl:2: Syntax error: Operator_expected
pl:9: No permission to modify static procedure 'op/3'
pl:10: Singletone veriables: [X]
pl:21: Singletone veriables: [CxP,P,C]
pl:28: Singletone veriables: [Vq]

@braint · 13.04.2014, 23:21

вот так попробуйте:

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
?- op(500,xfx,#).
?- op(550,yfx,+).
?- op(550,yfx,-).
 vozvesti(_,0,1).
 vozvesti(X,N,R):-
              0 is N mod 2,
              M is N div 2,
              vozvesti(X,M,Q),
              R is Q*Q.
 vozvesti(X,N,R):-
              M is N-1,
              vozvesti(X,M,Q),
              R is Q*X.
 
 count(C#P,X,V):-
               vozvesti(X,P,XP),
               V is C*XP.
 count(P+Q,X,V):-
               count(P,X,Vp),
               count(Q,X,Vq),
               V is Vp+Vq.
 count(P-Q,X,V):-
               count(P,X,Vp),
               count(Q,X,Vq),
               V is Vp-Vq.

Новые блоги и статьи Все статьи Все блоги /
влияние грибов на сукцессию anaschu 26.01.2026 Бифуркационные изменения массы гриба происходят тогда, когда мы уменьшаем массу компоста в 10 раз, а скорость прироста биомассы уменьшаем в три раза. Скорость прироста биомассы может уменьшаться за. . .	Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .
Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .