add docs on tries

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1926 b08c6af1-5177-4d33-ba66-4b1c6b8b522a

docs/chr.tex

@@ -50,7 +50,7 @@ implementation. For a more thorough review of CHR we refer the reader to
 @node CHR Syntax and Semantics, CHR in YAP Programs, CHR Introduction, CHR
 @section Syntax and Semantics
 @c		\label{sec:SyntaxAndSemantics}
-@c=============================
+@c =============================
 
 @subsection Syntax
 @c -----------------
@@ -287,7 +287,7 @@ for backward compatibility. The new syntax is described below.
 @node CHR in YAP Programs, CHR Debugging, CHR Syntax and Semantics, CHR
 @section CHR in YAP Programs	
 @c	\label{sec:practical}
-@c===========================
+@c ===========================
 
 
 @subsection Embedding in Prolog Programs
@@ -347,7 +347,7 @@ leak into modules where they might cause conflicts.
 @node CHR Debugging, CHR Examples,CHR in YAP Programs, CHR
 @section Debugging
 @c			\label{sec:debugging}
-@c=================
+@c =================
 
 The CHR debugging facilities are currently rather limited. Only tracing
 is currently available. To use the CHR debugging facilities for a CHR
@@ -359,7 +359,7 @@ info is provided unless the @option{-nodebug} is used.
 
 @subsection Ports
 @c				\label{sec:chrports
-@c===============
+@c ===============
 
 For CHR constraints the four standard ports are defined:
 
@@ -398,7 +398,7 @@ store, if it had been inserted.
 @end table
 
 @subsection Tracing
-@c=================
+@c =================
 
 Tracing is enabled with the chr_trace/0 predicate
 and disabled with the chr_notrace/0 predicate.
@@ -445,7 +445,7 @@ Print the above available debug options.
 
 @subsection CHR Debugging Predicates
 @c 		\label{sec:predicates
-@c====================================
+@c ====================================
 
 The @file{chr} module contains several predicates that allow
 inspecting and printing the content of the constraint store.
@@ -485,7 +485,7 @@ disables it.
 @node CHR Examples, CHR Compatibility,CHR Debugging, CHR
 @section Examples
 @c			\label{sec:examples}
-@c================
+@c ================
 
 Here are two example constraint solvers written in CHR.
 
@@ -537,7 +537,7 @@ intersection([_|T],L2,L3) :-
 @node CHR Compatibility, CHR Guidelines,CHR Examples, CHR
 @section Compatibility with SICStus CHR
 @c 		\label{sec:sicstus-chr}
-@c==================
+@c ==================
 
 There are small differences between CHR in SWI-Prolog and newer
 YAPs and SICStus and older versions of YAP.  Besides differences in