Welcome to

For imperative programming languages like C or Java there exist powerful debuggers that visualize the execution of programs in much detail and dramatically ease searching for bugs. For logic programming languages like Prolog, such graphical tools are hardly available. The aim of our project is to develop a framework for graphical debugging that not only visualizes the complex processes in executing logic programs, but also provides facilities for post-mortem analysis.

Our primary use case is the development of unification-based grammars, mathematically precise models of natural language that assign syntactic structure and meaning representations to words and sentences. Using software like TRALE and QType, they can be implemented as logic programs. Since the analysis (parsing) of even short sentences can easily comprise several thousand computation steps, there is an urgent need for a graphical debugger that makes parsing processes more easily traceable.

General information about the system, such as a list of contributors and supporters. There also is a summary of all available information about the current state of development.

Four debuggers based on the Kahina framework are currently being developed:

Kahina for SWI-Prolog

Kahina for SICStus Prolog

Kahina for TRALE

Kahina for QType

The Framework (Kahina Core)

  • The only documentation available for now is our Javadoc
  • A hackers' manual is planned for the future. If you want to explore on your own how an application in the Kahina framework works, org.kahina.tralesld.TraleSLDInstance is a good starting point. Please note that the API is still subject to, possibly radical, change.
Last modified 2 months ago Last modified on Feb 24, 2017, 2:22:14 PM

Attachments (3)

Download all attachments as: .zip