Write a demodulator for sum that would cause clauses of the form equal(ans, sum(5, sum(6, minus(6)))) to

Question:

Write a demodulator for sum that would cause clauses of the form equal(ans, sum(5, sum(6, minus(6)))) to be reduced to equal(ans, sum(5, 0)). Write a further demodulator to reduce this last result to equal(ans, 5).

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Question Posted: