Constraint logic programming and the unification of information 制約論理プログラミングと情報の単一化

この論文をさがす

著者

    • 向井, 国昭 ムカイ, クニアキ

書誌事項

タイトル

Constraint logic programming and the unification of information

タイトル別名

制約論理プログラミングと情報の単一化

著者名

向井, 国昭

著者別名

ムカイ, クニアキ

学位授与大学

東京工業大学

取得学位

工学博士

学位授与番号

乙第2208号

学位授与年月日

1991-04-30

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. Abstract / p1 (0003.jp2)
  3. Contents / p5 (0007.jp2)
  4. 1 Introduction / p1 (0010.jp2)
  5. 2 Preliminaries / p5 (0014.jp2)
  6. 3 Constraint Logic Programming over Hypersets / p9 (0018.jp2)
  7. 3.1 Introduction / p9 (0018.jp2)
  8. 3.2 Preliminaries / p13 (0022.jp2)
  9. 3.3 Unification over Hypersets / p14 (0023.jp2)
  10. 3.4 Coinductive Semantics of Horn Clauses / p29 (0038.jp2)
  11. 3.5 Applications to Terms and Records / p39 (0048.jp2)
  12. 3.6 Bisimulations on Generalized Terms / p42 (0051.jp2)
  13. 3.7 Compactness of the Complex Number Field / p58 (0067.jp2)
  14. 3.8 Concluding Remarks / p60 (0069.jp2)
  15. 4 Constraint Logic Programming over Record Algebras / p63 (0072.jp2)
  16. 4.1 Introduction / p63 (0072.jp2)
  17. 4.2 The Record Algebra and Unification / p67 (0076.jp2)
  18. 4.3 Unification Grammar over Records / p84 (0093.jp2)
  19. 4.4 Concluding Remarks / p93 (0102.jp2)
  20. 5 CIL:A Constraint Logic Programming System / p95 (0104.jp2)
  21. 5.1 The Outline of CIL / p95 (0104.jp2)
  22. 5.2 CIL System / p97 (0106.jp2)
  23. 5.3 Operational Semantics of CIL / p99 (0108.jp2)
  24. 5.4 Basic Constraints / p100 (0109.jp2)
  25. 5.5 Built-in Predicates / p104 (0113.jp2)
  26. 5.6 Linguistic Analysis in CIL / p108 (0117.jp2)
  27. 6 Summary and Conclusion / p119 (0128.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000088457
  • NII著者ID(NRID)
    • 8000000088676
  • DOI(NDL)
  • NDL書誌ID
    • 000000252771
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ