Создайте списки всех длин между пределами

Question

Я пытаюсь создать список случайной длины, используя библиотеки lists и clpfd. Я попробовал следующее:

?- use_module(library(clpfd)). 
?- use_module(library(lists)). 

gen_mem_burst(X) :- 
    Len in 1..2, 
    length(X, Len). 

Я вижу, что Пролог первым находит решение только с одним элементом списка, то решением с двумя элементами, так же, как я ожидал. Впоследствии он выдает сообщение «из глобального стека». Я проследил его, и я заметил, что он пытается установить Len на 3, 4, 5, ... и так далее. Как я могу заставить его остановиться?

Я новичок в Prolog, и я даже не уверен, что это действительная модель использования. В других языках с ограничениями, которые я использовал (например, SystemVerilog), это легко возможно.

Answer 1

По крайней мере, с SWI-Prolog, length/2 работает не так, как ожидалось, когда задействованы ограниченные переменные: я застрял на exact same problem. Есть несколько хороших ответов, которые могут дать вам указатели.

Во всяком случае, отвечая на название вашего вопроса: формирование списка произвольной длины:

?- set_random(seed(1)), /* if you want to seed */ 
    Len is random(9), 
    length(L, Len). 
Len = 2, 
L = [_G2748, _G2751]. 

Если вам просто нужно создать список всех длины между двумя крайними,

?- between(1, 3, Len), length(L, Len). 

, вероятно, самый простой способ.