<LI><A NAME="tex2html1" HREF="node2.html#2333">Syntax of module definition.</A>
<LI><A NAME="tex2html3" HREF="node3.html#2403">Syntax of deductive knowledge definition.</A>
<LI><A NAME="tex2html4" HREF="node4.html#2492">Syntax of fact definition.</A>
<LI><A NAME="tex2html5" HREF="node5.html#2613">Syntax of type definition.</A>
<LI><A NAME="tex2html6" HREF="node5.html#2778">Fuzzy set representing the concept <I>fever</I>.</A>
<LI><A NAME="tex2html7" HREF="node5.html#2924">Fuzzy sets representing the concept <I>fever</I>.</A>
<LI><A NAME="tex2html8" HREF="node6.html#2974">Syntax of function definition.</A>
<LI><A NAME="tex2html12" HREF="node9.html#3084">Syntax of rule definition.</A>
<LI><A NAME="tex2html13" HREF="node12.html#3292">Syntax of local logic definition.</A>
<LI><A NAME="tex2html16" HREF="node14.html#3390">Syntax of general meta-predicates definition.</A>
<LI><A NAME="tex2html17" HREF="node14.html#3512">Syntax of meta-expression definition.</A>
<LI><A NAME="tex2html18" HREF="node18.html#3795">Syntax of control definition.</A>
<LI><A NAME="tex2html19" HREF="node22.html#3855">Syntax of deductive control definition.</A>
<LI><A NAME="tex2html20" HREF="node24.html#3929">Syntax of structural control definition.</A>
<LI><A NAME="tex2html21" HREF="node26.html#4032">Syntax of generic module definition.</A>
<LI><A NAME="tex2html22" HREF="node27.html#4109">Syntax of operations among modules definition.</A>
<LI><A NAME="tex2html24" HREF="node30.html#4171">Syntax of submodule definition.</A>
<LI><A NAME="tex2html26" HREF="node31.html#4205">Some activities in the computation of a query answer.</A>
