CLP(H): Constraint logic programming for hedges*. Issue 2 (16th April 2015)

• Record Type: Journal Article
• Authors: DUNDUA, BESIK; FLORIDO, MÁRIO; KUTSIA, TEMUR; MARIN, MIRCEA
• Is Part Of: Theory and practice of logic programming. Volume 16:Issue 2(2016)
• Page Start: 141
• Page End: 162
• Publication Date: 2015-04-16
• Subjects: constraint logic programming, -- constraint solving, -- hedges; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000071
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: CLP(H) is an instantiation of the general constraint logic programming scheme with the constraint domain of hedges. Hedges are finite sequences of unranked terms, built over variadic function symbols and three kinds of variables: for terms, for hedges, and for function symbols. Constraints involve equations between unranked terms and atoms for regular hedge language membership. We study algebraic semantics of CLP(H) programs, define a sound, terminating, and incomplete constraint solver, investigate two fragments of constraints for which the solver returns a complete set of solutions, and describe classes of programs that generate such constraints.