“Return value”is an argument of the rule

/* append(X,Y,Z)succeeds iff Z is the list that isthe list Y appended to the list X */

• Enables it to use any/all of the arguments to compute what’s left

• Use uninstantiated variables (i.e., those starting with capital letters) to ask for a return value

Previous slide

Next slide

Back to first slide

View graphic version