ICS Lab: Create a list containing all integers with in a given range.

Create a list containing all integers with in a given range.


domains
int=integer
list_element=int*

predicates
list(int,int,list_element)

clauses
list(A,A,[A]).
list(A,B,[A|C]):-A<B,A1=A+1,list(A1,B,C).

goal
list(1,5,A).