Vestavěné predikáty
Pro účely ladění obsahuje prolog vestavěné predikáty. Lze je používat přímo v příkazové řádce, ale záleží i na vývojovém prostředí, které může dále zpřehlednit informace vypisované jinak pouze do konzole. Při výuce používáme placený LPA Win-prolog, dalším zajímavým je SWI-Prolog, poskytovaný zdarma, který je nejrozšířenější mezi studenty pro použití mimo školní učebny. Oba programy nakládají s ladícími informacemi odlišně.
Popis predikátů:
- trace. - zapne trasovač pro následující dotaz
- notrace. - vypne trasovač
- debug. - při dosažení sledovaného predikátu zapne trasovač
- nodebug. - zruší všechny sledovací body, ukončí ladicí režim
- spy(Predikat) - nastaví ladící bod na specifikovaný predikát (těchto bodů můžeme nastavit libovolný počet; programátor může předepsat, které predikáty chce při výpočtu v ladicím režimu sledovat)
- nospy(Predikat) - odstraní ladící bod od specifikovaného predikátu
- debugging. - vytiskne aktuální ladící body