The first order theories of lists, bags, compact-lists (i.e., lists where the number of contiguous occurrences of each element is immaterial), and sets are introduced via axioms. Such axiomatizations are shown to be espe- cially suitable for the integration with free functor symbols governed by the classical Clark’s axioms in the context of Constraint Logic Programming. Adaptations of the extensionality principle to the various theories taken into account is then exploited in the design of unification algorithms for the con- sidered data structures. All the theories presented can be combined provid- ing frameworks to deal with several of the proposed data structures simoul- taneously. The unification algorithms proposed can be combined (merged) as well to produce engines for such combination theories.

Integrating lists, multisets, and sets in a logic programming framework.

DOVIER, Agostino;POLICRITI, Alberto;
1996

Abstract

The first order theories of lists, bags, compact-lists (i.e., lists where the number of contiguous occurrences of each element is immaterial), and sets are introduced via axioms. Such axiomatizations are shown to be espe- cially suitable for the integration with free functor symbols governed by the classical Clark’s axioms in the context of Constraint Logic Programming. Adaptations of the extensionality principle to the various theories taken into account is then exploited in the design of unification algorithms for the con- sidered data structures. All the theories presented can be combined provid- ing frameworks to deal with several of the proposed data structures simoul- taneously. The unification algorithms proposed can be combined (merged) as well to produce engines for such combination theories.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11390/673195
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 1
social impact