Presentation | 1998/9/21 From Most General Unifiers' to Constraint Solving Specializations for Equality Constraints Kiyoshi Akama, Yoshinori Shigeta, Eiichi Miyamoto, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The concept of unification plays an important role in logic programming which use only terms as the main data structure. The computation based on unification, however, has some difficulties when we discuss computation with many other data structure. In this paper, we intorduce a concept of constraint solving specializations for equality constraints (CSSECS), and propose a procedure to find a CSSEC for a given equality. The correctness of the procedure is justified by the repeated use of equivalent transformation rules for equality constraints. The concept of CSSECs can overcome difficulties of the concept of (most general) unifiers. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | most general unifier / equality constraint / constraint solving / specialization |
Paper # | SS98-24 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1998/9/21(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | From Most General Unifiers' to Constraint Solving Specializations for Equality Constraints |
Sub Title (in English) | |
Keyword(1) | most general unifier |
Keyword(2) | equality constraint |
Keyword(3) | constraint solving |
Keyword(4) | specialization |
1st Author's Name | Kiyoshi Akama |
1st Author's Affiliation | Division of System and Information Engineering, Hokkaido University() |
2nd Author's Name | Yoshinori Shigeta |
2nd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
3rd Author's Name | Eiichi Miyamoto |
3rd Author's Affiliation | Division of System and Information Engineering, Hokkaido University |
Date | 1998/9/21 |
Paper # | SS98-24 |
Volume (vol) | vol.98 |
Number (no) | 294 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |