Not a homework question, I am studying prolog by myself, and ran into this problem in an online tutorial.
so the problem is: make a predicate seq(?X,+Y) where Y is a natural number, and X is a natural number smaller than Y.
could someone give me a tip on how to deal with problems like this?
+ means it is instaniated, ? means it may or may not be instantiated.
