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