vti.laborator.org/lgp

Ladění programů v Prologu

Využití ladících informací ve vývojovém prostředí LPA Win-prolog

LPA Win-prolog nabízí více debug modulů. Výběr je v možnostech programu vpravo.

Možnosti Win-prologu s výběrem debug módulu

Postupně si představíme jednotlivé možnosti.

Source Level Debugger

Zobrazuje podobný grafický debugger jako SWI-prolog, v módu debug vypisuje podrobnější informace a lze se pohybovat po jednotlivých krocích průběhu vyhledávání.

Source Level Debugger v debug módu

Trace mód se nezobrazí v konzoli, ale také v debuggeru. Je trochu přehlednější, ale na trasování se více hodí jiné moduly.

Source Level Debugger v trace módu

Box Model Debugger

Box Model je výřečnější, při výpisu v trace módu zobrazuje hodnoty proměnných.

Box Model Debugger v trace módu

Call Monitor

Ohledně využitelnosti nejlepší a nejpřehlednější. Informace vypisuje do konzole a bez zbytečných informací. Pouze akci která probíhá, a na jakém predikátu. Výpis je odsazený podle zanoření.

Call Monitor v trace módu

Failure Monitor

V konzoli vypisuje pouze FAIL volání. Úplně neužitečný.

Call Monitor v trace módu

Mismatch Monitor

Výpis do konzole v případě neschody. Žádný znatelný rozdíl oproti Failure Monitoru.

Call Monitor v trace módu