Thanks for your help. So far I have
minus(X,Y) :- Y > X, fail.
minus(X,Y) :- Y is X-1;
minus(X,Y) :- Y is X-2;
minus(X,Y) :- Y is X-3.
but I'm not sure how to implement this using a list of numbers. I have a list [9,8,7,3] and I want to see all the moves available if minus is a move. I think...