\relax 
\citation{tuda:acl,tuda:lpc}
\citation{shi:ub}
\citation{gun:jpsg}
\citation{cs:cu}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.1}How to Compile {\string\psf\space cu-Prolog }}{3}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.2}Customize}{3}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {1.2.1}CPU time}{3}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {1.2.2}EUC Kanji code}{4}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {1.2.3}Heap size}{4}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.3}How to start and quit {\string\psf\space cu-Prolog }}{4}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Syntax of {\string\psf\space cu-Prolog }}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.1}Constrained Horn Clause (CHC)}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.2}PST (Partially Specified Term)}{5}}
\citation{tuda:sof91}
\citation{tuda:sico}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.3}Canonical form of Constraint}{6}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.4}BNF description of {\string\psf\space cu-Prolog }}{7}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Summary of system commands}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Prolog commands}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}File I/O commands}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Debug commands}{8}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Constraint Transformation commands}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.5}Other commands}{9}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Built-in predicates, functors}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Functional built-in predicates}{9}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Predicative built-in predicates}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.3}Built-in predicates for constraint transformation}{11}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.4}Built-in predicates for JPSG parser}{12}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}File I/O}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.1}Read a program}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.2}Save a program}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {5.3}Log file}{13}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Constraint Transformation}{13}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.1}Use constraint transformer alone}{13}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {6.1.1}`{\string\ptt\space @}' command}{13}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {6.1.2}{\string\ptt\space unify/2} predicate}{14}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.2}Transformation operations}{14}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.3}Heuristics}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {6.4}Example}{15}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {6.4.1}Symbolic and combinatorial constraint}{15}}
\citation{eis:uni}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {6.4.2}Disjunctive feature unification}{16}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Program trace}{17}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.1}Set spy points}{17}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.2}Set trace flag}{17}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {7.3}Trace of constraint transformation}{17}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {7.3.1}Print traces}{17}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {7.3.2}User's input in the step trace}{18}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {8}JPSG parser}{18}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.1}Encoding Lexical Ambiguity}{18}}
\citation{gun:jpsg}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.2}Encoding Structural Principle}{19}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {8.3}Example}{20}}
\citation{cs:cu,has:cu}
\citation{tuda:lpc,tuda:sof89}
\citation{tuda:acl,tuda:sico}
\citation{has:com}
\citation{tuda:sico,has:iwpt}
\citation{tuda:sof91,tuda:fgcs}
\citation{gun:jpsg}
\citation{shi:ub}
\bibstyle{plain}
\bibdata{/home/tsuda/bib/lang,/home/tsuda/bib/logic,/home/tsuda/bib/elang,/home/tsuda/bib/elogic}
\bibcite{eis:uni}{1}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {9}Concluding Remarks}{21}}
\bibcite{gun:jpsg}{2}
\bibcite{has:cu}{3}
\bibcite{has:com}{4}
\bibcite{cs:cu}{5}
\bibcite{has:iwpt}{6}
\bibcite{shi:ub}{7}
\bibcite{tuda:sof91}{8}
\bibcite{tuda:fgcs}{9}
\bibcite{tuda:sico}{10}
\bibcite{tuda:lpc}{11}
\bibcite{tuda:acl}{12}
\bibcite{tuda:sof89}{13}