Abstract
General agreement exists about the usefulness of sets as very high- level representations of complex data structures. Therefore it is worthwhile to introduce sets into constraint logic programming or set constraints into programming languages in general.
We start with a brief overview on different notions of sets. This seems to be necessary since there are almost as many different notions in the field as there are applications such as e.g. rapid software prototyping and unification-based grammar formalisms.
An efficient algorithm for treating membership-constraints is introduced. It is used in the implementation of an algorithm for unifying finite sets with tails also presented here. Such a unification algorithm is useful in any logic programming language embedding sets.
Finally it is shown how a full set language including the operators ∈ ∉ ∩, ∪ can be built on membership-constraints. The text closes with a reflection on the complexities of different algorithms - which are single exponential - showing the efficiency of our new algorithm
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D. Aliffi, G. Rossi, A. Dovier, and E. G. Omodeo. Unification of hyperset terms. In E. G. Omodeo and G. Rossi, editors, Proceedings of the Workshop on Logic Programming with Sets, in Conjunction with the 10th International Conference on Logic Programming, pages 27–30, Budapest, Hungary, June 1993
P. Arenas-Sánchez and A. Dovier. Minimal set unification. In M. Hermenegildo and S. D. Swierstra, editors, Proceedings of the 7th International Symposium on Programming Language Implementation and Logic Programming, pages 397–414. Springer, Berlin, Heidelberg, New York, 1995. LNCS 982
P. Bruscoli, A. Dovier, E. Ponteiii, and G. Rossi. Compiling intensional sets in CLP. In P. Van Hentenryck, editor, Proceedings of the 11th International Conference on Logic Programming, Santa Margherita, Ligure, Italy, June 1994 pages 647–661. MIT Press, Cambridge, MA, London, England, 1994
A. Dovier, E. G. Omodeo, E. Ponteiii, and G. Rossi. Embedding finite sets in a logic programming language. In E. Lamma and P. Mello, editors, Proceedings of the 3rd International Workshop on Extensions of Logic Programming, Bologna, Italy, February 1992 pages 150–167. Springer, Berlin, Heidelberg, New York, 1993. LNAI 660
Dovier and G. Rossi. Embedding finite sets in CLP. In D. Miller, editor, Proceedings of the International Logic Programming Symposium. MIT Press, Cambridge, MA, London, England, 1993
ECRC GmbH, München. ECLiPSe 3.5: User Manual - Extensions User Manual, February 1995
Gervet Conjunto: Constraint logic programming with finite set domains. In M. Bruynooghe, editor, Proceedings of the International Logic Programming Symposium, Ithaca, NY, November 1994? pages 339–358. MIT Press, Cambridge, MA, London, England, 1994
J. Jaffar and M. J. Maher. Constraint logic programming: a survey. Journal of Logic Programming, 19,20:503–581, 1994
D.Kapur and P. Narendran. NP-completeness of the set unification and matching problems. In J. H. Siekmann, editor, Proceedings of the 8th International Conference on Automated Deduction, Oxford, July 1986, pages 489–495. Springer, Berlin, Heidelberg, 1986. LNCS 230
D. Kapur and P. Narendran. Double-exponential complexity of computing a complete set of AC-unifiers. In Proceedings of the 7th Annual Symposium on Logic in Computer Science, Santa Cruz, CA, pages 11–21, 1992
T. Le Provost and M. Wallace. Generalized constraint propagation over the CLP scheme. Journal of Logic Programming, 16(3&4):319–359, 1993
B.Legeard, H. Lombardi, E. Legros, and M. Hibti. A constraint satisfaction approach to set unification. In Proceedings of the 13th International Conference on Artificial Intelligence, Expert Systems and Natural Language, pages 265–276, Avignon, May
S. Manandhar. An attributive logic of set descriptions and set operations. In Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics, 1994
C. J. Pollard and M. D. Moshier. Unifying partial description of sets. In P. Hanson, editor, Information, Language, and Cognition, pages 285–322. University of British Columbia Press, Vancouver, BC, 1990
Shmueli, S. Tsur, and C. Zaniolo. Compilation of set terms in the logic data language (LDL). Journal of Logic Programming, 12(1&2):89–119,1992
J. H. Siekmann. Unification theory. Journal of Symbolic Computation, 7(l):207–274, 1989
F. Stolzenburg. An algorithm for general set unification and its complexity. In E. G. Omodeo and G. Rossi, editors, Proceedings of the Workshop on Logic Programming with Sets, in Conjunction with the 10th International Conference on Logic Programming, pages 17–22, Budapest, Hungary, June 1993
F. Stolzenburg. Logic programming with sets by membership-constraints. In N. E. Fuchs and G. Gottlob, editors, Proceedings of the 10th Logic Programming Workshop, Universität Zurich, 1994. Institut für Informatik. Technical Report ifx 94.10
F. Stolzenburg. Membership-constraints and some applications. Fachberichte Informatik 5/94, Universität Koblenz-Landau, Koblenz, May 1994
P. Vail Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, London, England, 1989
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media New York
About this chapter
Cite this chapter
Stolzenburg, F. (1996). Membership-Constraints and Complexity in Logic Programming with Sets. In: Baader, F., Schulz, K.U. (eds) Frontiers of Combining Systems. Applied Logic Series, vol 3. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0349-4_15
Download citation
DOI: https://doi.org/10.1007/978-94-009-0349-4_15
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6643-3
Online ISBN: 978-94-009-0349-4
eBook Packages: Springer Book Archive