Een van Wally en zijn vrienden (waaronder SWI prolog natuurlijk) hebben zicht verstopt op deze pagina. Vind jij ze?

Defineer een predicaat left_of(X,Y) dat unificeert als X links staat van Y (niet noodzakelijk op dezelfde rij) in bovenstaande afbeelding. Je implementatie moet gebruik maken van de predicaten die hieronder gedefinieerd zijn (database.pl¹):

is_left_of(waldo,odlaw).
is_left_of(odlaw,swi).
is_left_of(swi,wilma).
is_left_of(whitebeard,woof).
is_left_of(woof,watchers).

is_below_of(whitebeard,waldo).
is_below_of(woof,odlaw).
is_below_of(watchers,swi).

Merk op dat Wally in deze opgave makkelijker is verstopt dan in de echte boeken.