Predikát

Běhovou nápovědu poskytuje predikát deBugger/0. Vstupním bodem metaintretu je predikát deBugger/3:

deBugger(+Goal, +Options, +BreakPoints)

je laděný cíl. Parametr je Prologovský seznam voleb, který může obsahovat atomy verbose, stack, break, trace a display. Atom verbose určuje, zda se má vypisovat každý volaný cíl, stack vypisování zásobníku volání parserů, trace krokování, display způsob výpisu operátorů a pokud je uveden atom break, dojde k zastavení při volání parseru, který je uveden v seznamu . Parametr je prologovský seznam funktorů parserů a konstruktorů, které jsou ladícími body.

?- deBugger( (s("72381e-12")+L :-> double <@ show),
|            [break],
|            [<@,symbol,<<?@>>] ).
?- deBugger( invokeFile(lexStrip,'input.src',_)),
|            [verbose,display]).