What is one important motivation for including exception handling in a programming language?
How is exception handling implemented in a typical language, such as Java?
Are backtracking and exception handling the same thing? For example, can you use the exception handling mechanism of Java to do backtracking?
Using backtracking, write a Cinnameg program fragment that will print all solutions (x,y) to equation xy - 2x2 + y = 10, where x and y are both integers in the range 0,...,100. Do not use a loop or recursion. Your program fragment can fail when it is done.
What is the purpose of trail frames?
Unification is a form of pattern matching. Which of the following is not a characteristic of unification?
True or false.
When a variable occurs in a logic programming goal, the interpreter is being asked whether that goal holds for all values of the variable.
When a variable occurs in a logic programming axiom, the interpreter is being told that axiom holds for all values of the variable.
In logic programming, a variable in an axiom might be used as an input variable sometimes and as an output variable at other times, when computation uses that axiom.
Show the logic programming search tree for goal (member(X,[3,4,5]), member(X,[4])), up to the point where a success is found. The definition of the member predicate is as follows, written in Prolog syntax.
member(M, [M|X]).
member(M, [X|T]) :- member(M, T).
In a logic programming style, write axioms for computing predicate allsame(X), which is true just when all members of list X are the same. For example, allsame([5,5,5]) is true, as is allsame([a,a]), but allsame([2,4,4]) is false. Note that allsame([]) is true, and allsame([b]) is true.