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