13.7 Exercises

1. • Let be

     

   • Let be

     

   • Let be

     

   • Let be

     

   What are: , , , , and ?

2. What are the results of the following queries:

   val(foo,a,[goo:b,foo:a|X],Y).
 
val(foo,a,[goo:b,foo:a|X],_).
 
val(foo,Z,[goo:b,foo:a|X],Y).
 
val(hoo,b,[goo:b,foo:a|X],Y).
 
val(hoo,[noo:b,moo:a|W],[goo:b,foo:a|X],Y).