Revise the predicates add4 to add5 and subtract to subtract2 in order to handle numerals X-Y,...

Transcribed Image Text:

Revise the predicates add4 to add5 and subtract to subtract2 in order to handle numerals X-Y, for numerals X and Y. For instance, ?- add5(-(s (0)-p(0)),s (0),x). X = p (0) ?- subtract2 (p(0), p(s (0))-s(s (0)), Z). Z = s(0) so that Z takes the form sn (0) or pn (0) for some n ≥ 0. Revise the predicates add4 to add5 and subtract to subtract2 in order to handle numerals X-Y, for numerals X and Y. For instance, ?- add5(-(s (0)-p(0)),s (0),x). X = p (0) ?- subtract2 (p(0), p(s (0))-s(s (0)), Z). Z = s(0) so that Z takes the form sn (0) or pn (0) for some n ≥ 0.