Формирование списка

@MahovIV · Регистрация: 17.09.2013

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

Если надо просто перемножить элементы списка - я делаю так:

Prolog
1
2
3
4
5
6
7
8
9
domains
list=integer*
predicates
mul(list,integer,integer).
clauses
mul([],Result,Result).
mul([Head|Tail],Result, Counter):- NewCounter=Counter*Head, mul(Tail,Result,NewCounter).
goal
mul([2,-3,4,-1,2],L,1),write(L),nl,fail.

А как сделать так - чтобы выполнялось условие?
Сформировать список L1 из элементов: произведение всех n элементов, произведение последних (n-1) элементов L и т.д.

@Catstail · 16.03.2015, 13:48

Турбо-пролог:

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
domains
int=integer
intl=int*
 
predicates
prod(intl,int,int)
len(intl,int)
plist(intl,int,intl)
task(intl,intl)
 
clauses
prod(_,0,1).
prod([H|T],K,P) :- K1=K-1, prod(T,K1,Q), P=H*Q.
 
len([],0).
len([_|T],K) :- len(T,N), K=N+1.
 
plist(_,0,[]).
plist(X,K,[H|T]) :- prod(X,K,H), K1=K-1, plist(X,K1,T).
 
task(X,R) :- len(X,L), plist(X,L,R).
 
goal
task([1,2,3,4,5,6,7],Z),write(Z),nl.

Результат: [5040,720,120,24,6,2,1]

@MahovIV · 16.03.2015, 15:11 **[ТС]**

А вы можете пожалуйста объяснить код (комментариями)?

@Catstail · 16.03.2015, 15:37

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

Если надо просто перемножить элементы списка - я делаю так:

- если ты "делаешь так", значит умеешь программировать на Прологе. Чего же еще объяснять? Там все просто.

@MahovIV · 16.03.2015, 20:19 **[ТС]**

Извините, я не понимаю, что делают предикаты и как они работают.

Добавлено через 18 секунд
За сам код конечно спасибо.

Добавлено через 7 минут
И еще мне нужно сформировать список L1 из всех перестановок списка L (без дублирования). Как это сделать?

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию 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 На первой гифке отладочные линии отключены, а на второй включены:. . .

@MahovIV 6 / 7 / 4 Регистрация: 17.09.2013 Сообщений: 337
	16.03.2015, 15:11 [ТС]
	А вы можете пожалуйста объяснить код (комментариями)? 0

@MahovIV 6 / 7 / 4 Регистрация: 17.09.2013 Сообщений: 337
	16.03.2015, 20:19 [ТС]
	Извините, я не понимаю, что делают предикаты и как они работают. Добавлено через 18 секунд За сам код конечно спасибо. Добавлено через 7 минут И еще мне нужно сформировать список L1 из всех перестановок списка L (без дублирования). Как это сделать? 0