Interpret a ladící prostředí pro Prolog

Abstract

Obsahem této bakalářské práce je implementace prologu s debuggerem, který rozšiřuje možnosti klasického textového ladění, přidává možnost přehledného procházení call stacku, nahlížení do cílů, které prošli portem exit a ještě nebyli backtrakovány. Toto vše se zobrazuje a přepisuje, tak aby se vždy zobrazoval aktuální obsah proměnných. Debugger běží ve zvláštním vlákně, takže aplikace během výpočtu dlouhého dotazu reaguje. Dotaz, lze v libovolném časovém okamžiku pozastavit, zapnout tím debug režim a prohlížet call stack, a dokonce je možné nahlížení do call stacku bez pozastavení běhu dotazu.

The main aim of this bachelor thesis is to implement interpreter of the language prolog with graphical debugger, which extends possibilities of classical text debugging, adds the ability to browse call stack easily, view the targets, which went through exit port and still have not been backtracked. This all displays and refreshes so the actual content of variables is always shown. Debugger and query run in separated threads, so the application always reacts. Query can be at any time stopped or suspended. Debugger is turned on when a query is suspended, so the call stack can be browsed. It is even possible to browse parts of call stack and exited goals while a query is running.