Version 10 (modified by ke, 8 years ago) (diff)

made headings less erschlagend

Welcome to

For imperative programming languages like C or Java there exist comfortable 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 graphical debugger that visualizes the complex processes in executing logic programs using a novel, intuitive graphical depiction as multidimensional trees.

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

We want Kahina to not only fill this gap, but also, with a little configuration, serve as a debugger for other systems in grammar development and logic programming.

Kahina Facts


  • The very first stubs of a UsersManual are now available.
  • Javadoc, updated automatically from the source code repository


  • Subversion repository
  • There is no hackers' manual yet. If you want to explore on your own how an application in the Kahina framework works, org.kahina.tralesld.TraleSLDRunner is a good starting point. Please note that the API is still subject to, possibly radical, change.
  • Schedule showing our next goals and dates envisaged for completion.
  • Plans in a state in which they are best viewed as a collection of ideas, rather than a set of concrete but isolated tickets

Attachments (3)

Download all attachments as: .zip