Contents of Report
[Data of Report]
Report Number:
TM0138
Date of Registration:
1985.10
English Title:
***
Japanese Title:
全解探索論理プログラムの決定的論理プログラムへの変換
English Author:
K.Ueda
Japanese:
上田 和紀
Name of Organization to which author belongs:
ICOT
PDF:
tm0138.pdf
[Contents]
1
動機
.... 2
2
方針
.... 2
3
従来の方法とその問題点
.... 2
4
簡単な例
.... 3
5
一般的な変換手続き
.... 3
6
対象プログラムの制限について
.... 4
7
効率比較
.... 5
8
まとめと今後の課題
.... 5
参考文献
.... 5
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda