Subject: Re: your Slides

> 
> 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.

/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
___________________________________________________________________________