Kdy a jak ladit?
Když je syntaxe vpořádku (chyby odhalí kompilátor při překladu), ale výsledky nejsou podle očekávání, nebo si chceme projít detailněji postup zpracování, máme možnost ladit.
Možnosti na vychytání much jsou podobné jako u ostatních programovacích jazyků. I přes vestavěné predikáty přímo v Prologu záleží na vývojovém prostředí ve kterém pracujeme. Pro představu co ladící informace znamenají, přejdeme nejprve k teoretické ukázce fungování Prologu.
Analogie zpracování
Průběh jednoho kroku programu lze rozdělit na jednotlivé úkony, které si můžeme vyjádřit blokovým schématem. Černá skříňka představuje dotaz. Má 2 vstupy a 2 výstupy.
- CALL - vstup, požadavek na zpracování
- EXIT - výstup, pokud je splněn cíl
- FAIL - výstup při neúspěšném zpracování
- REDO - vstup při požadavku na opakování
Ladící informace si můžeme představit jako výpis všech hodnot proměnných, které jsou na vstupu (resp. výstupu). Lze je využít různými způsoby.