Predikáty jádra ladícího systému

Základní podporu při vyhledávání chyb poskytuje následující sada predikátů:

deBugName/1 deBugName(+DebugFlag)

Uspěje, pokud DebugFlag je aktivní ladící jméno tj. ladící akce pod tímto jménem se mají provádět.

DebugFlag: Atom, který je ladícím jménem.

Příklad:

 ?- deBugName(profile).
 Yes

deBug/2 deBug(+DebugFlag,+Message)

Pokud je DebugName aktivní ladící jméno, vypíše do proudu definovanovaného ve struktuře pcStdErr/1, který je považován za standardní chybový výstup hlášku Message. Predikát vždy uspěje. Ladící jména jsou definována ve struktuře pcDeBugName/1.

DebugName: Atom, který je ladícím jménem.

Příklad:

 ?- deBug(showStatus,['Running...',nl]).
 Running...

Yes

deBugAssert/2 deBugAssert(+Condition,+Message)

Pokud není splněna podmínka Condition, je pozastaveno vykonávání programu, je vypsána hláška Message a spuštěn interní debugger interpretu.

Příklad:

 ?- deBugAssert(fail,[' some error.',nl]).
 Assert:
 some error.
 ?_