wiki:WikiStart

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

+ poster/extended abstract

Welcome to kahina.org

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

Documentation

Development

  • Subversion repository
  • 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