Полная и неполная инверсия списка

@arfaa · Регистрация: 17.05.2011

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

заранее извиняюсь,если такаят тема уже есть,но честно не нашел.Сделал прогу для неполной инверсии:

Prolog
1
2
3
inv(X,Y):-inve(X,[],Y).
inve([],Z,Z).
inve([H|T],Z,Y):-inve(T,[H|Z],Y).

Она вроде как простая, а вот для полной не могу,есть код мой,но он нерабочий:

Prolog
1
2
3
4
5
6
7
invp(X,Y):-invep(X,[],Y).
invep([],Z,Z).
invep([H|T],Z,Y):-invsp(H,X),invep(T,[X|Z],Y).
invsp([C|[]],C).
invsp([C|V],Y):-not(V=[]),inver([C|V],[],Y).
inver([],Z,Z).
inver([H|T],Z,Y):-inver(T,[H|Z],Y).

Если кто знает как сделать,то помогите пожалуйста!Заранее спасибо!

@Грымзик · 18.05.2011, 00:05

Что такое полная инверсия? Это когда подсписки тоже инвертируются? Если так, то

Prolog
1
2
3
4
inv(X,Y):-inve(X,[],Y).
inve([],Z,Z).
inve([H|T],Z,Y):-atomic(H),!,inve(T,[H|Z],Y).
inve([H|T],Z,Y):-inve(H,[],X),inve(T,[X|Z],Y).

@arfaa · 18.05.2011, 00:25 **[ТС]**

ага,именно это,спасибо Вам большое!А можете только уточнить,что это за функция atomic?Я первый раз ее вижу.

@Грымзик · 18.05.2011, 00:28

Она истина если входной параметр - атом или число, нужна для проверки что это не список из нескольких элементов.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .

@arfaa 0 / 0 / 0 Регистрация: 17.05.2011 Сообщений: 27
	18.05.2011, 00:25 [ТС]
	ага,именно это,спасибо Вам большое!А можете только уточнить,что это за функция atomic?Я первый раз ее вижу. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.05.2011, 00:28
	Она истина если входной параметр - атом или число, нужна для проверки что это не список из нескольких элементов. 0