List comprehension in Lambda Prolog

Question

I\'m using Teyjus for programming in Lambda Prolog. I have this simple lists generator:

type islist int -> list X -> o.

islist N nil
       :- N >=