Self-Test 1

Unification and lists 1
 
You are advised to write down the solutions for all questions before you look at the answers.
 
  Do the following unify and (if so) what are the variable instantiations?
 
1.
 | ?- [Head |Tail] = [brian, mandy, ruth].
2.
 | ?- [Head | Tail] = [[julie, is, a, wizz]].
3.
 | ?- [who, typed | Tail] = [Head | these, notes, '?'].
4.
 | ?- [sem242, unification] = [sem242, [Topic]].
5.
 | ?- [sem242, [unification, backtracking, search]] = [Head |Tail].
6.
 | ?- [sem242, [unification, backtracking, search]] = [Head, Tail].
7.
 | ?- [nova, []] = [Car, Wheels, Tail].
8.
 | ?- [nova] = [Head, Tail].
9.
 | ?- [nova] = [Head |Tail].