How can you tell the program tha variable X is has a certin type ...
This is actually the problem ...
3. Define a predicate is_between(X , Y , N) meaning "N is between X and Y" and working like in the example below (there is a predefined PROLOG predicate called between that has the same...