INF3110/4110
                 Løsningsforslag uke 47 (26.11-28.11.2003)
                 


Oppgave 1
---------

1. bb(X,Y) :- barn(X,Z), barn(Z,Y).
2. Spørsmålet bb(beate, X) skal gi verdiene aase og aale for X.
3. fa(X,Y) :- etterkommer(Z,X), etterkommer(Z,Y), X \== Y.
4. Spørsmålet fa(aase,X) skal gi verdiene aale, aale, anne, lars,
   aale, lise, arne og aale og i den gitte rekkefølgen. Merk altså at
   samme verdi kan bli funnet flere ganger. Hvorfor?
5. eb(X) :- person(X,Y,Z,U), not(sosken(X,V)).



Oppgave 2
---------

Eksamen 1992, oppgave 2e.
Eksamen 1990, oppgave 2f.
Eksamen 1997, oppgave 3.
Eksamen 1996, oppgave 4.


Oppgave 3
---------

leggtilsist([],X,[X]).
leggtilsist([X|Y],Z,[X|U]) :- leggtilsist(Y,Z,U).



Oppgave 4
---------

reverser([],[]).
reverser([X],[X]).
reverser([X|Y],U) :- reverser(Y,Z), leggtilsist(Z,X,U).