o(gazda). o(vlk). o(koza). o(kapusta). breh(lavy). breh(pravy). opacny(lavy,pravy). opacny(pravy,lavy). zle(vlk,koza). zle(koza,kapusta).