Demand-driven normalisation for ACD term rewriting

Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Abstract

ACD Term Rewriting (ACDTR) is term rewriting modulo associativity, commutativity, and a limited form of distributivity called conjunctive context. Previous work presented an implementation for ACDTR based on bottom-up eager normalisation, extended to support the conjunctive context. This paper investigates the possibility of using a demand-driven normalisation strategy for ACDTR. Again, dealing with the conjunctive context proves to be challenging. The alternative normalisation strategy is compared with the current form of eager normalisation and potential further improvements on the strategy are investigated.

Original languageEnglish
Title of host publicationLogic Programming - 25th International Conference, ICLP 2009, Proceedings
PublisherSpringer
Pages484-488
Number of pages5
ISBN (Print)3642028454, 9783642028458
DOIs
Publication statusPublished - 14 Sep 2009
Externally publishedYes
EventInternational Conference on Logic Programming 2009 - Pasadena, United States of America
Duration: 14 Jul 200917 Jul 2009
Conference number: 25th
https://link.springer.com/book/10.1007/978-3-642-02846-5 (Proceedings)

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5649 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Conference on Logic Programming 2009
Abbreviated titleICLP 2009
CountryUnited States of America
CityPasadena
Period14/07/0917/07/09
Internet address

Cite this

De Koninck, L., Duck, G. J., & Stuckey, P. J. (2009). Demand-driven normalisation for ACD term rewriting. In Logic Programming - 25th International Conference, ICLP 2009, Proceedings (pp. 484-488). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5649 LNCS). Springer. https://doi.org/10.1007/978-3-642-02846-5_39