Сформировать новый список, в котором будут элементы, кратные k, из входящего списка (SWI Prolog)

@Doc226 · Регистрация: 09.10.2018

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

Здравствуйте, нужно решить 1 задачу на swi prolog. Нужно сформировать новый список, в котором будут элементы кратные k из входящего списка. Пример: на вход у нас идет список P[1,2,3,4,5,6], k=2, L. Ответ должен быть L[2,4,6]. Число k задаем вручную(любое число). Пытался решить таким образом, но при компиляции мне выдает false или L[].

Prolog
1
2
3
4
5
6
kratnoK([H|T], K, [H|TN]) :-
    H mod K = 0,
    !,
    kratnoK(T, K, TN).
kratnoK([_|T], K, TN) :-
    kratnoK(T, K, TN).

@Ivandur · 27.11.2020, 17:38

Добавить

Prolog
1
kratnoK([], _, []).

@Doc226 · 27.11.2020, 19:46 **[ТС]**

Добавил, на запрос kratnoK([1,2,3,4],2,L) выдает пустой список L[].

@Ivandur · 28.11.2020, 10:11

Убрать ! ?

@Doc226 · 28.11.2020, 15:35 **[ТС]**

Убирал, изменений нету. Решил другим путем, но такое решение не очень нравиться, хочу все же понять в чем ошибка...

@Ivandur · 28.11.2020, 17:40

Я не очень знаком с этим диалектом, но, возможно, '=' в нём означает скорее присвоение, чем сравнение.

@Catstail · 28.11.2020, 18:29

Prolog
1
2
3
kratnoK([],_,[]).
kratnoK([H|T], K, [H|TN]) :- Z is (H mod K), Z is 0, kratnoK(T, K, TN).
kratnoK([_|T], K, TN) :- kratnoK(T, K, TN).

https://swish.swi-prolog.org/p/osniGnTV.pl

@Doc226 · 28.11.2020, 21:04 **[ТС]**

Большое спасибо!

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

@Doc226 1 / 1 / 0 Регистрация: 09.10.2018 Сообщений: 25
	27.11.2020, 19:46 [ТС]
	Добавил, на запрос kratnoK([1,2,3,4],2,L) выдает пустой список L[]. 0

@Ivandur 694 / 7031 / 265 Регистрация: 11.08.2016 Сообщений: 3,957
	28.11.2020, 10:11
	Убрать ! ? 0

@Doc226 1 / 1 / 0 Регистрация: 09.10.2018 Сообщений: 25
	28.11.2020, 15:35 [ТС]
	Убирал, изменений нету. Решил другим путем, но такое решение не очень нравиться, хочу все же понять в чем ошибка... 0

@Ivandur 694 / 7031 / 265 Регистрация: 11.08.2016 Сообщений: 3,957
	28.11.2020, 17:40
	Я не очень знаком с этим диалектом, но, возможно, '=' в нём означает скорее присвоение, чем сравнение. 0

@Doc226 1 / 1 / 0 Регистрация: 09.10.2018 Сообщений: 25
	28.11.2020, 21:04 [ТС]
	Большое спасибо! 0

Сформировать новый список, в котором будут элементы, кратные k, из входящего списка (SWI Prolog)

Решение