Next:
What it Means to
Up:
FUF: the Universal Unifier
Previous:
Conditional-Evaluation with Ignore
Tracing and Debugging
What it Means to Debug a FUF Program
Checking the Validity of FDs and Grammars
Fine Tuning Tracing: Overview of FUF Tracing Functions
Identifying Possible Bugs: Trace-bp
Levels of Tracing
Tracing of Alternatives and Options
Local tracing with boundaries
Special Flags %trace-on% and %trace-off%
The Special Tracing Flag %break%
The trace-enable and trace-disable Family of Functions
The :demo directive
Tracing of Specific Stages of the Unification
Trace-determine
Trace-Category and Hyper-trace-category
Trace-Cset
Trace-BK-Class
Trace-Wait
Trace-Alts
Some Advice on FUF Debugging
Syntax Errors
Semantic Errors
Expression of Negative Constraints
Control
Michael Elhadad - elhadad@cs.bgu.ac.il
