Contents of Report

[Data of Report]

Report Number:
TR0205
Date of Registration:
1986.09
English Title:
The Determinacy of a Prolog Predicate (Call)
Japanese Title:
PROLOG 述語(呼び出し)の決定性
English Author:
H.Sawamura
Japanese:
沢村　一
Name of Organization to which author belongs:
Fujitsu
PDF:
tr0205.pdf

[Contents]

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

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

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