Contents of Report

[Data of Report]

Report Number:
TR0551
Date of Registration:
1990.04
English Title:
A Fixpoint Semantics of Guarded Horn Clauses
Japanese Title:
***
English Author:
T.Kanamori,M.Ueno
Japanese:
***
Name of Organization to which author belongs:
Mitsubishi,Mitsubishi
PDF:
tr0551.pdf

[Contents]

Abstract.... 2
1Introduction.... 3
2Flat GHC.... 4
3An Operational Semantics of Flat GHC Programs.... 6
3.1Computasion Tree.... 7
3.2Computed Atom Behavior.... 10
3.3Computed Behavior Interpretation.... 11
4A Fixpoint Semantics of Flat GHC Programs.... 12
4.1Atom Behavior in General.... 12
4.2Behavior Interpretation in General.... 14
4.3Parallel Conjunction and Guarded Implication.... 16
4.4Least Fixpoint of the Transformation.... 16
5Equivalence of the Operational Semantics and the Fixpoint Semantics.... 17
6An Example;Brock-Ackerman's Anomaly.... 17
7Comparison with the Semantics of Prolog Programs.... 18
8Discussion;Truly Parallel v.s.Non-deterministic Sequential.... 19
9Conclusions.... 19
Acknowledgements.... 20
References.... 20
Appendix.The Well-definedness of Guarded Implication.... 22
End.... 23

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

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