| Abstract | .... 2 | |
| 1 | The Language FGHC(Flat Guarded Horn Clauses) | .... 3 |
| 2 | Constrained Unification and Commitment | .... 4 |
| 3 | The Strong Normal Form | .... 6 |
| 4 | Towards a Notion of Model for FGHC Programs | .... 8 |
| 5 | The Model Theoretic Semantics | .... 14 |
| 6 | Fixpoint Semantics | .... 20 |
| 7 | Soundness and Completeness Properties | .... 24 |
| 8 | Unfolding | .... 25 |
| 9 | Open Problems | .... 30 |
| Acknowledgements | .... 31 | |
| References | .... 31 | |
| End | .... 33 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports