Sledenje

Sledenje programu v prologu.

Call

Vstop v funkcijo.

Fail

no

Exit

yes

Redo

Ob istem cilju poizkušamo najti rešitev še na kak drug način.

Trace

trace

notrace

Spy

spy(roditelj/2), trace, roditelj(X,lili).

  call> roditelj(X,lili)
    call> otrok(lili,X)
    exit> otrok(lili,ana)
  exit> roditelj(ana,lili)
X=ana;
  redo> roditelj(X,lili)
    redo> otrok(lili,X)
    fail> otrok(lili,X)
  fail> roditelj(X,lili)
no

Ostali ukazi

skip

preskoči sledenja do izhoda iz procedure

fail

takoj pojdi ven iz procedure

redo

poizkušaj ponovno isti cilj

abort

popolnoma prekliči izvajanje

break

začasno prekliči izvajanje

help

pomoč