Предикат. Список

@Lenin90 · Регистрация: 09.12.2010

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

Предположим, что элементами списка являются не только атомы, но и списки.
Требуется написать предикат, который собирает все элементы списка, а также всех его подсписков в один линейный список, чтоб глубина вложенности была равна 2

Prolog
1
2
3
%%% |
%%% |?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
%%% |X = [ a, [b], c, 1, 2, 3, [x, z], f ]

Смог сделать только с глубиной вложенности 1 т.е

Prolog
1
2
3
4
5
6
?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
X = [ a, b, c, 1, 2, 3, x, z, f ] 
 
flatten111([],[]).
flatten111(X,R):-not(X=[]),not(X=[_|_]),R = [X].
flatten111([X|Y],R):-flatten111(X,R1),flatten111(Y,R2),append(R1,R2,R).

Помогите пожалуйста модернезировать код.. чтобы глубина вложенности была равна 2

Добавлено через 15 минут
Работаю в SWI prolog editor

@Грымзик · 09.12.2010, 15:02

Что-то я не понимаю, что этот предикат должен делать.

Prolog
1
2
?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
X = [ a, [b], c, 1, 2, 3, [x, z], f ]

Почему [b] так и осталось [b], а [1,2,3,[x,z],f] опустилось на уровень ниже?

@Lenin90 · 09.12.2010, 16:57 **[ТС]**

потому что у b глубина вложенности 2. Список в списке.. его надо оставить.

а если у нас список в котором есть список в котором есть ещё список.. мы понижаем глубину вложенности ( [1,2,3,[x,z]] здесь у x,z - глубина вложенности равна 3. чтобы она была равна 2, мы должны опустить на уровень ниже [..[1,2,3,[x,z]],f]. т.е преобразовать в [..1,2,3,[x,z],f]

мне надо сделать предикат flatten111

Prolog
1
2
?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
X = [ a, [b], c, 1, 2, 3, [x, z], f ]

или, если не получится

Prolog
1
2
?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
X= [ a, [b], c, [1, 2, 3, x, z], f ]

помогите пожалуйста... это не для моих мозгов, а сделать надо(

Добавлено через 2 минуты
скорее всего так даже правельнее

Prolog
1
2
?- flatten111( [a,[b],c,[1,2,3,[x,z]],f], X ).
X= [ a, [b], c, [1, 2, 3, x, z], f ]

@Грымзик · 09.12.2010, 17:09

Может криво, но вроде работает

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
flatten111(A,B):-flatten111(A,0,B).
 
flatten111([],_,[]).
flatten111([H|Tail],I,[H|NewTail]):-atomic(H),!,flatten111(Tail,I,NewTail).
flatten111([H|Tail],1,Ans):-
    !,urovnyat(H,NewH),flatten111(Tail,2,NewTail),append(NewH,NewTail,Ans).
flatten111([H|Tail],I,[NewH|NewTail]):-I1 is I+1,
    flatten111(H,I1,NewH),flatten111(Tail,I,NewTail).
 
urovnyat([],[]).
urovnyat([H|Tail],[H|NewTail]):-atomic(H),!,urovnyat(Tail,NewTail).
urovnyat([H|Tail],Ans):-urovnyat(H,NewH),urovnyat(Tail,NewTail),append(NewH,NewTail,Ans).

@Lenin90 · 09.12.2010, 19:47 **[ТС]**

ого, спасибо большое.

а вы могли бы по полочкам объяснить код, как работает.. что происходит)

@Грымзик · 09.12.2010, 19:53

Не, как-то нет желания по полочкам объяснять, может Вам что-то уже понятно и есть какие-то конкретные вопросы? Кстати, у меня ошибка, надо не flatten111(Tail,2,NewTail), а flatten111(Tail,1,NewTail)

@rrrFer · 09.12.2010, 20:47

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

а вы могли бы по полочкам объяснить код

код на прологе очень трудно объяснить, особенно если вы не очень хорошо в нем разбираетесь и если у вас плохо с рекурсией(часто бывает что проблемы с прологом связаны именно с этим, т.к. тут нет циклов, только рекурсия и откаты). Также трудности связаны с тем что предикаты пролога работают не в одну сторону, т.е. если имеет двуместный предикат типа predicat(A,B), то имеется 4 способа его вызова, в зависимости от того какие, передаваемые ему переменные на момент вызова будут означены.
ИМХО проще всего для разбора программы рисовать дерево разбора - программа преобразуется в дерево, при этом точки заменяются на узлы дереве "ИЛИ", а запятые на "И". Обходим дерево слева направо. Все листья дерева это вызовы предикатов или "!" и "fail". Если встретили fail или получили ложь то на ветви дерева ставим ложь и переходим к операторной вершине, если это вершина "ИЛИ" то переходим к следующей ее ветви(если это последняя ветвь то на выходе вершины ложь). Если это вершина "И" то ставим ложь на ее выходе. Если Встретили "!" или получили истину, то пишем "истина" на ветви и переходим к ближайшей операторной вершине, если это ИЛИ то ставим "истина" на выходе операторной вершины. Если "И" то переходим к следующей вертви операторной вершины(если это самая правая ветвь - то ставим "истину" на выходе).
Вроде бы так.

Добавлено через 17 минут
для flatten дерево выглядит так:

@rrrFer · 09.12.2010, 20:52

не написано еще про то что если встречен "!" То перебор тех веток операторной вершины что левее "!" останавливается, т.е. Если происходит откат то только в той части что правее этого оператора(т.е. он ограничивает перебор)

@Lenin90 · 10.12.2010, 08:36 **[ТС]**

Спасибо.. насчёт дерева - отличная идея, так намного понятнее!

интересует пока, что такое atomic(H)

@rrrFer · 10.12.2010, 08:54

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

интересует пока, что такое atomic(H)

пользуемся поиском
http://www.google.com/search?i... mic+prolog
щелкаем по первой ссылке:
http://www.cs.bham.ac.uk/~pjh/... tml#label2

atomic/1

Usage: atomic(Arg1)
Succeeds if Arg1 is instantiated to an atom or a number.

Arguments
Arg1 may be any Prolog term (including a variable).

Description and examples
atomic/1 will succeed if Arg1 is either an atom or a number or a variable that has been previously instantiated to an atom or a number, as in the following examples:

1. Examples

| ?- atomic(abc).

yes
| ?- atomic(1).

yes
| ?- Var = abc, atomic(Var).

Var = abc ? ;

no
| ?- Var = 1, atomic(Var).

Var = 1 ? ;

no

atomic/1 will fail if Arg1 is an uninstantiated variable or a structured object (including a list):

2. Examples

| ?- atomic(Var).

no
| ?- atomic(a(x,y,z)).

no
| ?- atomic([a,b,c]).

no

Новые блоги и статьи Все статьи Все блоги /
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 На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Lenin90 0 / 0 / 0 Регистрация: 09.12.2010 Сообщений: 7
	09.12.2010, 19:47 [ТС]
	ого, спасибо большое. а вы могли бы по полочкам объяснить код, как работает.. что происходит) 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	09.12.2010, 19:53
	Не, как-то нет желания по полочкам объяснять, может Вам что-то уже понятно и есть какие-то конкретные вопросы? Кстати, у меня ошибка, надо не flatten111(Tail,2,NewTail), а flatten111(Tail,1,NewTail) 1

@rrrFer Заблокирован
	09.12.2010, 20:52
	не написано еще про то что если встречен "!" То перебор тех веток операторной вершины что левее "!" останавливается, т.е. Если происходит откат то только в той части что правее этого оператора(т.е. он ограничивает перебор) 1

@Lenin90 0 / 0 / 0 Регистрация: 09.12.2010 Сообщений: 7
	10.12.2010, 08:36 [ТС]
	Спасибо.. насчёт дерева - отличная идея, так намного понятнее! интересует пока, что такое atomic(H) 0