INF3110/4110
                   Ukeoppgaver uke 47 (26.-28.11.2003)



Oppgave 1
---------

Gitt følgende fakta i Prolog:
    p(anne, aase, aale, 1960).
    p(arne, aase, aale, 1962).
    p(beate, anne, lars, 1989).
    p(bjorn, lise, arne, 1990).

1. Gi regler for relasjonen bb(X,Y) som skal uttrykke at X er
   barnebarn av Y.

2. Simuler en Prolog-eksekvering av spørsmålene bb(beate, aale) og
   bb(beate, X).

3. Gi regler for relasjonen fa(X,Y) som skal uttrykke at X og Y har
   felles avkom (dvs. felles barn, barnebarn, oldebarn osv.)

4. Simuler en Prolog-eksekvering av spørsmålet fa(aase, X).

5. Gi regler for relasjonen eb(X) som skal uttrykke at X er enebarn.


Oppgave 2
---------

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


Oppgave 3
---------

Lag en Prolog-regel
	leggtilsist(Liste1, Objekt, Liste2)
som er sann hvis Liste2 er Liste1 utvidet med Objekt til slutt.


Oppgave 4
---------

Lag en Prolog-regel for å reversere en liste.