Ifi6057lab3demo4
coord/2 faktid asendavad samanimelist reeglit (mis on eraldi harjutustunni ülesanne). Ise tuleb defineerida nottried/2.
:- dynamic(bombed/2). coord(2,2). coord(2,3). target(X, Y):- % järgmine sobiv kandidaat on ruut coord(X, Y), % mis on legaalne kandidaat ja nottried(X, Y), % mida me veel ei ole pommitanud ja asserta(bombed(X, Y)). % mida me nüüd pommitasime - jätame meelde