User's Manual

Documentation is only available for a few features so far.

Getting Started

• Kahina for SWI-Prolog
  • Installation
• Kahina for SICStus Prolog
  • Installation
  • Tutorial
• Kahina for TRALE
  • Installation

Core Concepts

• Search Tree?
• Call Tree?
• Breakpoint System
• Creep, Fail and Skip Points
• Warn Points
• TRALE Chart

Interface Components

• Control Panel
• Tree View
• List Tree View (experimental)
• Breakpoint Editor?
• Source Code Editor?
• Message Console?
• Profiler
• Prolog Variable Bindings?
• TRALE Variable Bindings?

Customizing Kahina

• Perspectives and Profiles
  • Default Perspectives?
  • Custom Perspectives?
  • Managing Profiles?
• Configuring Components
  • Configuring the Tree?
  • Configuring the TRALE Chart?

Technical Background

• System Architecture
• Messaging System
• Control Flow Pattern Matching via Tree Automata?

Known Issues

• Scrolling Artefacts?