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

@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

Упс)) Сори=)

Новые блоги и статьи Все статьи Все блоги /
Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .

@Грымзик 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