Plouj
public text v1 · immutable?- reverse([4, 3, 2, 1], List), length(List, Lenght).
List = [1, 2, 3, 4]
Lenght = 4
Yes
?- numlist(1, 4, [1, 2, 3, 4]).
Yes
?- reverse([4, 3, 2, 1], List), length(List, Lenght), numlist(1, Length, List).
No
?- reverse([4, 3, 2, 1], List), length(List, Lenght).
List = [1, 2, 3, 4]
Lenght = 4
Yes
?- numlist(1, 4, [1, 2, 3, 4]).
Yes
?- reverse([4, 3, 2, 1], List), length(List, Lenght), numlist(1, Length, List).
No