Contents of Report

[Data of Report]

Report Number:
TR0206
Date of Registration:
1986.09
English Title:
On the Determinancy of Prolog Predicate (Call)
Japanese Title:
Prolog述語(呼び出し)の決定性について
English Author:
H.Sawamura
Japanese:
沢村　一
Name of Organization to which author belongs:
Fujitsu
PDF:
tr0206.pdf

[Contents]

概要.... 2
1はじめに.... 3
2述語の決定性.... 3
2.1記号規約.... 3
2.2述語(または、述語呼び出し(ゴール))の決定性.... 3
2.3拡張.... 7
3決定性の利用と関連話題.... 7
3.1Prologプログラムの最適化.... 7
3.2Prologプログラミング方法論.... 7
3.3論理プログラムと制御.... 8
4おわりに.... 9
謝辞.... 9
参考文献.... 9

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports