Contents of Report

[Data of Report]

Report Number:
TR0434
Date of Registration:
1988.10
English Title:
A Preliminary Note on the Semantics of Guarded Horn Clauses
Japanese Title:
***
English Author:
T.Kanamori,M.Maeji
Japanese:
***
Name of Organization to which author belongs:
Mitsubishi,Mitsubishi
PDF:
tr0434.pdf

[Contents]

Abstract.... 2
1Introduction.... 3
2Guarded Horn clauses.... 8
3A Preliminary Operarional Semantics of GHC Programs.... 9
3.1Computation Forest.... 10
3.2Success Forest and Susoension Forest.... 13
4Semantic of Monotonic GHC Programs.... 16
4.1Monotonic GHC Programs.... 16
4.2Success-Suspention Set.... 20
4.3Goal Composition for Monotonic GHC programs.... 24
5Semantic of General GHC Programs.... 28
5.1Problems of Non-Monotonic GHC Programs.... 28
5.2Partially Ordered Success-Suspention Multiset.... 29
5.3Goal Composition for General GHC programs.... 32
6Comparison with the Semantics of Prolog Programs.... 36
6.1Prolog and GHC.... 36
6.2Semantics of Prolog Programs.... 37
6.3Goal Composition for Prolog Programs.... 40
7Discussion.... 41
8Conclusion.... 45
Acknowledgements.... 46
References.... 46
Appendix.Semantics of Functional GHC programs.... 48
End.... 50

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

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