Problems and solutions related to the introduction of finite set formers and basic operations on sets in a Logic Programming language axe discussed. In particular it is shown that a good solution is to begin with a CLP-scheme whose signature ∑ is endowed with two functional symbols: 0 for the empty set and with for the set construction symbol, using the symbols E, ∈, =, ≠ as constraint predicate symbols. The axioms of the selected set theory axe described, along with the corresponding algebraic interpretation and the constraint satisfiability algorithm. Other usual set operators (such as ⊆, ⋃, etc.) are shown to be definable in the extended language. Also, such an approach turns out to be well suited to accommodate for intensional set formers, providing the language is endowed with some form of negation.
CITATION STYLE
Dovier, A. (1994). A language with finite sets embedded in the CLP-scheme. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 798 LNAI, pp. 77–93). Springer Verlag. https://doi.org/10.1007/3-540-58025-5_51
Mendeley helps you to discover research relevant for your work.