In Exerise 5 part 3, what do you mean by “being stored”?
What I mean by “being stored” is that Student.Advisor links are extensional, while “not being stored” means that the Advisor.Student links are intensional. That is, Student.Advisor is like a base relation while Advisor.Student is like a view. To “unstore” the current Advisor.Student facts, you can use rules if you want, but probably the easiest thing is to use the Examine command. But you still need a rule to define the intensional links.
