\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}概要}{3}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {1.1}cu-Prolog実行モジュールの作成法}{3}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {1.2}他システムへの移植}{5}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {1.3}起動法・終了法}{5}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {1.4}第二版からの改良点}{5}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {2}cu-Prologプログラムの記述}{6}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {2.1}用語の説明}{6}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {2.2}制約付ホーン節(Constrained Horn Clause: CHC)}{6}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {2.3}部分項(PST)の記述}{6}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {2.4}制約の記述}{7}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {2.5}BNF記法によるcu-Prologの構文}{8}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {3}システムコマンド一覧}{8}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.1}Prologに関するコマンド}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.2}ファイル入出力についてのコマンド}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.3}デバッグコマンド}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.4}制約変換に関するコマンド}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.5}その他のコマンド}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {3.6}Macintosh版 cu-Prologメニュー}{9}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {3.6.1}Fileメニュー}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {3.6.2}Commandメニュー}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {3.6.3}Traceメニュー}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {3.6.4}MODEメニュー}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {4}cu-Prolog 組込み述語・ファンクタ}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {4.1}一般的な組込み述語}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {4.1.1}関数的な組み込み述語}{10}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {4.1.2}述語的な組み込み述語}{12}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {4.2}制約変換に関する組込み述語}{13}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {4.3}JPSGパーザに関する組み込み述語・ファンクタ}{13}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {5}ファイルの入出力}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {5.1}プログラムの読み込み}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {5.2}プログラムの保存}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {5.3}ログファイルの設定、解除}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {6}制約変換機構}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {6.1}制約変換のみの実行}{14}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.1.1}@モード}{15}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.1.2}{¥string¥ptt¥space unify(C,NC)}}{15}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {6.2}制約変換の操作}{15}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {6.3}制約変換のヒューリスティック}{16}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.3.1}{¥string¥ptt¥space DEFINITION}からの節の選択}{16}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.3.2}{¥string¥ptt¥space NON-MODULAR}からの節の選択}{16}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.3.3}unfoldするリテラルの選択}{16}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {6.4}実行例}{16}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.4.1}記号・組合せ制約}{16}}
¥citation{eis:uni}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {6.4.2}選言的素性構造の単一化}{17}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {7}トレース機能}{18}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {7.1}スパイフラグの設定}{18}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {7.2}トレースモード}{18}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {7.3}制約変換のトレース}{18}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {7.3.1}トレースの表示}{18}}
¥@writefile{toc}{¥string¥contentsline¥space {subsubsection}{¥string¥numberline¥space {7.3.2}ステップトレースのユーザ入力}{19}}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {8}JPSGパーザ}{19}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {8.1}多義語の辞書記述}{19}}
¥citation{gun:jpsg}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {8.2}JPSGの制約の記述}{20}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {8.3}JPSGの素性}{20}}
¥@writefile{toc}{¥string¥contentsline¥space {subsection}{¥string¥numberline¥space {8.4}実行例}{21}}
¥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}
¥@writefile{toc}{¥string¥contentsline¥space {section}{¥string¥numberline¥space {9}おわりに}{22}}
¥citation{gun:jpsg}
¥citation{shi:ub}
¥bibstyle{jplain}
¥bibdata{/home/tsuda/bib/lang,/home/tsuda/bib/logic,/home/tsuda/bib/jlang,/home/tsuda/bib/jlogic}
¥bibcite{eis:uni}{1}
¥bibcite{gun:jpsg}{2}
¥bibcite{has:cu}{3}
¥bibcite{has:com}{4}
¥bibcite{has:iwpt}{5}
¥bibcite{shi:ub}{6}
¥bibcite{tuda:fgcs}{7}
¥bibcite{tuda:sico}{8}
¥bibcite{tuda:lpc}{9}
¥bibcite{tuda:acl}{10}
¥bibcite{cs:cu}{11}
¥bibcite{tuda:sof91}{12}
¥bibcite{tuda:sof89}{13}