A) Can you say if the prolog function in task 2 is supposed to include the depth check from task 1, or is that giving too much away?
B) Also, in task 3, it says to modify theorem prover to produce an answer other than T or nil, but then the example shows the prolog function being called. To me it makes more sense to modify the prolog function, rather than theorem prover, but can you clear this up for me?
A) To do later tasks, I suggest you keep the depth check.
ReplyDeleteB) You don't have to add "answer" to aux-theorem, just add to the part that you think can achieve the task.