Предикат порождающий список

@Starstuck · Регистрация: 01.02.2012

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

Создайте предикат, порождающий по заданному натуральному числу N список, состоящий из натуральных чисел от 1 до N ( по возрастанию )

Помогите, не шарю. С пояснениями, желательно.

@nullxdth · 27.03.2013, 01:49

На Prolog'е пишется рекурсивно в лоб, как на любом функциональном языке. Даже не надо вдаваться в подробности унификации. Если понимаешь как пишется на ФЯ, то должно быть интуитивно понятно:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
nat_series(N, Series) :-
    nat_series(0, N, Series).
 
nat_series(N, N, []) :-
    !.
nat_series(I, N, Series) :-
    succ(I, I1),                % or I1 is I + 1
    nat_series(I1, N, Series_),
    Series = [I1 | Series_].
 
%% Example:
%% ?- nat_series(5, S).
%% S = [1, 2, 3, 4, 5].

Но на практике (не для обучения) подобные вещи не пишутся низкоуровнево явной рекурсией. А обычно как-нибудь так:

Prolog
1
nat_series(N, Series) :- bagof(A, between(1, N, A), Series).

И тут уже есть над чем подумать и явно нужно что-то почитать по Prolog'у (например, Иван Братко. Язык PROLOG (Пролог): алгоритмы искусственного интеллекта).

@rrrFer · 28.03.2013, 14:59

про bagof не знал, спасибо ).

Если совсем не хочется думать, можно студентам (не на практике) использовать побочный эффект (БД):

Prolog
1
2
3
4
5
6
7
clear:- retract(f(_)), clear.
clear.
 
p(N):- for(I, 1, N), retract(f(L)), assert(f([I|L])), fail.
p(_).
 
pp(N):- clear, assert(f([])), !, p(N), retract(f(L)), reverse(L, LL), write(LL), nl.

Предикат for не стандартный, но гуглится, я проверял )

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .

@Starstuck 4 / 4 / 1 Регистрация: 01.02.2012 Сообщений: 124

	Предикат порождающий список 26.03.2013, 22:46. Показов 2930. Ответов 2 Метки нет (Все метки) Создайте предикат, порождающий по заданному натуральному числу N список, состоящий из натуральных чисел от 1 до N ( по возрастанию ) Помогите, не шарю. С пояснениями, желательно. 0