User's Manual: Kahina for SICStus Prolog

Kahina for SWI-Prolog is a graphical tracer for SWI-Prolog. It is in a rather early and experimental stage of development. Documentation is only available for a few features so far. In case of questions or comments, please contact Kilian Evang: <firstname>@<lastname>.name

Getting Started

• Installation
• Tutorial

Core Concepts

• Parsing Steps
• Tracing
• Search and Call Tree
• Breakpoint System
• Creep, Fail and Skip Points
• Warn Points

Interface Components

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

Customizing Kahina

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

Technical Background

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