Subject: Re: your Slides Again.

> 
> Hi: Dr. Collberg:
> >
> > I am doing "Three Jewels" Assignments. But I can not have clear method to
> > solve this. This assignment is quite similar to your Puzzles-Trees in your
> > slide 3-22 to 3-27. I can not understand why do you add some facts or
> > clauses that are configured out by your self? Like:
> >
> > %You can not own what someone else owns.   {slide 3-27}
> >                  {I particularly can not understand why you add such a Clause}
> >                  {This should be judged by "Prolog".}
> 
> How would you want Prolog to figure this out itself?
> Give me some rules! 'Ownership' is something particular
> to our culture; we have to encode this somehow in Prolog.
> 
> Thanks for your response. But I still have question about "How do you know
> you have provided "Prolog" complete logic relations and not missing some ?"
> "How do you know you should add this clause rather than other clauses"
> 

What's the meaning of life? I can't answer either of your questions.
Like with any programming task, you have to convince yourself
(using proofs, logic arguments, testing) that you're doing the
right thing.

/CC

___________________________________________________________________________
Christian Collberg      | Email: c_collberg@cs.auckland.ac.nz
Computer Science Dept   | Fax:   +64-9-373-7453
University of Auckland  | Phone: +64-9-373-7599 x 6137
Private Bag 92019,      | WWW:   http://www.cs.auckland.ac.nz/~collberg/
Auckland, NZ            |
___________________________________________________________________________
"Education is an admirable thing, but it is well to remember from time
to time that nothing that is worth knowing can be taught." - Oscar Wilde
___________________________________________________________________________