Ошибка в реализации быстрой сортировки

@roadzero · Регистрация: 27.02.2010

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

Сортирует список быстрой сортировкой, результирующий список - Ls. Вместо результата при вызове цели выводится false... Что это значит, и как заставить его выводить список? В других сортировках такого не было.

Prolog
1
2
3
4
5
6
7
8
9
10
qsort([],[]).
qsort([H|T],Ls):-split(H,T,S,B),qsort(S,S1),qsort(B,B1),append(S1,[X|B1],Ls).
split(H,[A|T],[A|S],B):- H>A,split(H,T,S,B).
split(H,[A|T],S,[A|B]):-H<=A,split(H,T,S,B).
split(_,[],[],[]).
 
write_list([]):-nl.
write_list([H|T]):-write(H),write('   '),write_list(T).
 
goal:-qsort([1,6,9,3,4,2],M),write_list(M).

@Грымзик · 02.11.2010, 19:45

Ошибка тут append(S1,[X|B1],Ls), надо append(S1,[H|B1],Ls). А что это за диалект такой? Просто обычно нельзя писать <=, надо =<.

@roadzero · 02.11.2010, 19:53 **[ТС]**

Просто обычно нельзя писать <=, надо =<.

Вы мне вот этим замечанием исправили ошибку в ещё одной проге, над которой я как раз бьюсь))

@roadzero · 11.11.2010, 20:42 **[ТС]**

А как сделать так, чтобы после вывода отсортированного списка не вылезало дополнительное "тру"? отсечение в конце goal не помогло.

@freest · 11.11.2010, 20:50

Prolog
1
...,!,fail.

@Грымзик · 11.11.2010, 20:57

Да вроде никак, разве если что считывать после этого что-нибудь, но это уж точно не лучше.

Добавлено через 4 минуты
fail ничего хорошего не даст, будет просто выводиться false, какая разница.

@freest · 11.11.2010, 21:01

Вот пример

Prolog
1
2
3
4
5
6
predicates
x(integer)
clauses
x(1).
goal
x(1),!,fail.

@Грымзик · 11.11.2010, 21:29

freest, спасибо за пример, я не знала, что в визуал прологе можно избавиться от вывода yes/no, но в данной теме обсуждается SWI пролог.

@freest · 11.11.2010, 21:32

Упс)) Сори=)

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	02.11.2010, 19:45
	Ошибка тут append(S1,[X\|B1],Ls), надо append(S1,[H\|B1],Ls). А что это за диалект такой? Просто обычно нельзя писать <=, надо =<. 2

@roadzero 1 / 1 / 0 Регистрация: 27.02.2010 Сообщений: 8
	11.11.2010, 20:42 [ТС]
	А как сделать так, чтобы после вывода отсортированного списка не вылезало дополнительное "тру"? отсечение в конце goal не помогло. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	11.11.2010, 20:57
	Да вроде никак, разве если что считывать после этого что-нибудь, но это уж точно не лучше. Добавлено через 4 минуты fail ничего хорошего не даст, будет просто выводиться false, какая разница. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	11.11.2010, 21:29
	freest, спасибо за пример, я не знала, что в визуал прологе можно избавиться от вывода yes/no, но в данной теме обсуждается SWI пролог. 1

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	11.11.2010, 21:32
	Упс)) Сори=) 0