Sökning: onr:"swepub:oai:gup.ub.gu.se/158261" >
Real-Time Persisten...
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl)
-
- Bouma, Gerlof, 1979 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för svenska språket,Department of Swedish
-
(creator_code:org_t)
- 2012
- 2012
- Engelska.
-
Ingår i: Proceedings of the 11th International Symposium on Functional and Logic Programming (FLOPS 2012). - 9783642298219
- Relaterad länk:
-
https://gup.ub.gu.se...
Abstract
Ämnesord
Stäng
- We present a Prolog implementation of real-time persistent queues and double-ended queues. Our implementation is inspired by Okasaki’s lazy-functional approach, but relies only on standard Prolog, comprising of the pure subset plus if-then-else constructs to efficiently implement guards and meta-calls for convenience. The resulting data structure is a nice demonstration of the fact that the use of logic variables to hold the outcome of an unfinished computation can sometimes give the same kind of elegant and compact solutions as lazy evaluation.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas