Prolog - Lista di generazione dei numeri di raccordo determinato intervallo

Question

Mi piacerebbe usare predicati come:

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

di significato:

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]). 

Come codice in Prolog bene (prendendo prestazioni soluzione in conto - profondità della ricorsione, ecc.)?

Si prevede che la soluzione funzioni su GNU-Prolog.

P.S. Domanda ispirata a this question.

Answer 1

SWI-Prolog ha il predicato between/3. quindi lo chiameresti come tra (0,5, X) per ottenere i risultati che hai mostrato sopra. Questo predicato sembra che questo sia implementato in C sebbene.

Se dovessimo scriverlo in puro prologo (e la velocità & non è un fattore), si potrebbe provare questo seguendo.

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

Answer 2

range a Gnu-Prolog può essere risolto con domini finiti

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

Non so se dom_range(X,L,H) :- fd_domain(X,L,H).

P.S. Quando giochi con domini finiti, ti potrebbe piacere usare fd_set_vector_max/1

Answer 3

La risposta di Dave è quasi perfetta: non ci sono controlli per vedere se basso < alto. Ho aggiunto una condizione e ora funziona benissimo (altrimenti si genera numeri dal basso verso l'infinito):

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

Speranza che aiuta!