Prolog - Lista de generación de números herraje dado gama

Question

Me gustaría utilizar predicados como:

range(X,0,5) 
range(X,4,200) 
range(X,-1000000,1000000) 
dom_range(X,-1000000,1000000) 

de significado:

range(X,0,5) :- member(X,[0,1,2,3,4,5]). 
range(X,4,200) :- member(X,[4,5,6...198,199,200]). 
range(X,-1000000,1000000) :- member(X,[-1000000,...,1000000]). 
dom_range(X,-1000000,1000000) :- domain(X, [-1000000,...,1000000]). 

cómo codificar en Prolog muy bien (teniendo en rendimiento de la solución cuenta - profundidad de recursión, etc.)?

Se espera que la solución se ejecute en GNU-Prolog.

P.S. Pregunta inspirada con this question.

Answer 1

SWI-Prolog tiene el predicado between/3. entonces lo llamarías entre (0,5, X) para obtener los resultados que mostraste arriba. Este predicado parece que esto se implementa en C embargo.

Si tenemos que escribirlo en prólogo puro (y la velocidad & el espacio no es un factor), podría intentar lo siguiente.

range(Low, Low, High). 
range(Out,Low,High) :- NewLow is Low+1, range(Out, NewLow, High). 

Answer 2

range en GNU-Prolog se pueden resolver con dominios finitos

range(X,Low,High) :- fd_domain(X,Low,High). 

No sé si dom_range(X,L,H) :- fd_domain(X,L,H).

P.S. Al jugar con dominios finitos, es posible que desee utilizar fd_set_vector_max/1

Answer 3

La respuesta de Dave es casi perfecta: no hay comprobación para ver si < es bajo. He añadido una condición y ahora funciona bien (de lo contrario, genera números de menor a infinito):

range(Low, Low, High). 
range(Out,Low,High) :- NewLow is Low+1, NewLow =< High, range(Out, NewLow, High). 

Espero que ayude!