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