Assume that we change the interpreter from Project 5 so that…
Assume that we change the interpreter from Project 5 so that universal quantification is *wrongly* interpreted by the code solve(forall(V, R, C)) :- counterexample(V, R, C). counterexample(V, R, C) :- generateInstances(V, R), not(solve(C)). The query query([forall(X,10), X,