Списки пролог

@Soul_Asylum · Регистрация: 19.11.2022

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

Задача "Сформулируйте предикат сумма элементов для работы со списками.
на просторах интернета нашёл программу считающую сумму элементов, стоящих на чётных и нечётных местах
Код который я нашёл

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
domains
number_list=integer*.
I=integer.
R=integer.
predicates
nondeterm sum(number_list,I,R)
 
 
Clauses
sum([], _, 0):-!.
sum([H|T], I, R):-
  I mod 2 = 0, !, II = I + 1, sum(T, II, TR), R = TR + H;
  II = I + 1, sum(T, II, R).
goal
sum([1,2,3,4,5,5,7,8],1,R).

я попытался подредактировать этот код для решения своей задачи

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
number_list=integer.
I=integer.
R=integer.
predicates
nondeterm sum(number_list,I,R)
 
 
 
sum([], _, 0):-!.
sum([H|T], I, R):-
  I mod 2 = 0,  II = I + 1, sum(T, II, TR), R = TR + H,
  II = I + 1, sum(T, II, R).
goal
sum([1,2,3,4,5,5,7,8],1,R).

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

@Pphantom · 25.11.2022, 18:36

Soul_Asylum, вы раньше вроде на SWI Prolog писали. Что-то изменилось или вы просто нашли не то, что надо?

Если второе, то

Prolog
1
2
sum([],0).
sum([H|T],S):-sum(T,Ss),S is H+Ss.

@Soul_Asylum · 27.11.2022, 08:34 **[ТС]**

Сообщение от Pphantom

просто нашли не то, что надо

Я просто нашёл не то что нужно.

Новые блоги и статьи Все статьи Все блоги /
Модульный подход на примере 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 На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .
Реалии Hrethgir 01.03.2026 Нет, я не закончил до сих пор симулятор. Эта задача сложнее. Не получилось уйти в плавсостав, но оно и к лучшему, возможно. Точнее получалось - но сварщиком в палубную команду, а это значит, в моём. . .	Ритм жизни kumehtar 27.02.2026 Иногда приходится жить в ритме, где дел становится всё больше, а вовлечения в происходящее — всё меньше. Плотный график не даёт вниманию закрепиться ни на одном событии. Утро начинается с быстрых,. . .	SDL3 для Web (WebAssembly): Сборка библиотек: SDL3, Box2D, FreeType, SDL3_ttf, SDL3_mixer и SDL3_image из исходников с помощью CMake и Emscripten 8Observer8 27.02.2026 Недавно вышла версия 3. 4. 2 библиотеки SDL3. На странице официальной релиза доступны исходники, готовые DLL (для x86, x64, arm64), а также библиотеки для разработки под Android, MinGW и Visual Studio. . . .	SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .

Списки пролог

Решение