Matching against minus doesn't work

[robsimmons]

Minus acts like it can be run backwards, but it cannot.

y 4.
x N :- y M, minus N 1 is M.

this should result in x 5 being derived, but instead execution raises an error.