Fakten

Die gezeigte Lagerstruktur liesse sich etwa wie folgt in Prolog abbilden:

stapel(a).       /* "a" ist ein Stapel */
auf(a,bier).     /* Auf "a" ist "bier" */
auf(bier, wein). /* Auf "bier" ist "wein" */
auf(wein, schnaps).
auf(schnaps, cola).
auf(cola, zigaretten).
auf(zigaretten, seife).

stapel(b).
auf(b, saft).
auf(saft, fleisch).
auf(fleisch, fisch).
auf(fisch, mehl).
auf(mehl, kuchen).

stapel(c).
auf(c, computer).
auf(computer, hosen).

Das Prädikat stapel/1 beschreibt, was ein Stapel ist. Dieses Prädikat wird später bei den Regeln wichtig. Das auf/2-Prädikat beschreibt, was auf was liegt. auf(a, bier) besagt, dass auf a (der untersten Position von Stapel a) eine Kiste Bier liegt. auf(bier, wein) besagt, dass auf dieser Kiste Bier eine Kiste Wein liegt usw.