(varsubst '(parent (? x) (mother-of (? y)))
'( ((? x) Fred) ((? y) Mary)))
But it seems that '(parent (? x) (mother-of (? y))) should be '((parent (? x) (mother-of(?y)))
What is the correct format?
Sunday, April 19, 2009
Var Substitution
When dealing with the variable substitution function in part 2 what is the format for the parameters. In the project write up it
Subscribe to:
Post Comments (Atom)
I guess part of my post go cut off
ReplyDeleteIt said that '(parent (? x) ....)))
should be '((parent (? X)......)))
(varsubst '(parent (? x) (mother-of (? y)))
ReplyDelete'( ((? x) Fred) ((? y) Mary)))
is correct.
By the way, '((parent (? x) (mother-of(?y))) seems to have an open parentheses.
This comment has been removed by the author.
ReplyDelete