Вычисление выражения

@Eva_19 · Регистрация: 20.07.2013

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

Доброе утро всем) Помогите с предикатом для вычисления заданного выражения:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?Y(N)=\sum_{i=1}^{N}\sum_{j=1}^{N}(ln i + ln j)$

@Catstail · 22.12.2014, 13:53

Что-то вроде:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
predicates
s1(real,real)
s2(real,real,real)
 
clauses
 
s1(1,0) :- !.
s1(N,Z) :- N1=N-1, s1(N1,Z1), s2(N,N1,Q), Z=Z1+Q.
 
s2(1,I,Q) :- Q=log(I) ,!.
s2(N,I,Q) :- N1=N-1,s2(N1,I,Q1), Q=log(I*N)+Q1.
 
goal
s1(10,Q),write(Q),nl.

@Eva_19 · 22.12.2014, 16:37 **[ТС]**

Пишет такую ошибку при запуске:
Runtime Error at step 4, clause 2, atom 1:2
The argument 1 of "log" is "var" but has to be "int" or "float".

@Catstail · 28.12.2014, 18:49

Не хочет брать выражение как аргумент логарифма... Попробуйте так:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
predicates
s1(real,real)
s2(real,real,real)
 
clauses
 
s1(1,0) :- !.
s1(N,Z) :- N1=N-1, s1(N1,Z1), s2(N,N1,Q), Z=Z1+Q.
 
s2(1,I,Q) :- Q=log(I) ,!.
s2(N,I,Q) :- N1=N-1,s2(N1,I,Q1), Z=I*N, Q=log(Z)+Q1.
 
goal
s1(10,Q),write(Q),nl.

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@Eva_19 1 / 1 / 0 Регистрация: 20.07.2013 Сообщений: 64

	Вычисление выражения 22.12.2014, 11:03. Показов 2026. Ответов 3 Метки нет (Все метки) Доброе утро всем) Помогите с предикатом для вычисления заданного выражения: $https://www.cyberforum.ru/cgi-bin/latex.cgi?Y(N)=\sum_{i=1}^{N}\sum_{j=1}^{N}(ln i + ln j)$ 0

@Eva_19 1 / 1 / 0 Регистрация: 20.07.2013 Сообщений: 64
	22.12.2014, 16:37 [ТС]
	Пишет такую ошибку при запуске: Runtime Error at step 4, clause 2, atom 1:2 The argument 1 of "log" is "var" but has to be "int" or "float". 0