User's Manual: Kahina for SWI-Prolog

Kahina for SWI-Prolog is a graphical tracer for SWI-Prolog. It is in a very 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

Core Concepts

Interface Components

Customizing Kahina

Technical Background

Last modified 6 years ago Last modified on Oct 8, 2012, 12:53:34 PM