Efficient algebraic effect handlers for Prolog

DOI10.1017/S147106841600034XzbMATH Open1379.68080arXiv1608.00816OpenAlexW2963291743MaRDI QIDQ4593065FDOQ4593065

Authors: Amr Hany Saleh, Tom Schrijvers 

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: Recent work has provided delimited control for Prolog to dynamically manipulate the program control-flow, and to implement a wide range of control-flow and dataflow effects on top of. Unfortunately, delimited control is a rather primitive language feature that is not easy to use. As a remedy, this work introduces algebraic effect handlers for Prolog, as a high-level and structured way of defining new side-effects in a modular fashion. We illustrate the expressive power of the feature and provide an implementation by means of elaboration into the delimited control primitives. The latter add a non-negligible performance overhead when used extensively. To address this issue, we present an optimised compilation approach that combines partial evaluation with dedicated rewrite rules. The rewrite rules are driven by a lightweight effect inference that analyses what effect operations may be called by a goal. We illustrate the effectiveness of this approach on a range of benchmarks. This article is under consideration for acceptance in TPLP.

Full work available at URL: https://arxiv.org/abs/1608.00816

Recommendations

• Programming with algebraic effects and handlers
• Algèbres effectives dans la programmation logique avec contraintes
• An introduction to algebraic effects and handlers (invited tutorial paper)
• An effect system for algebraic effects and handlers
• An effect system for algebraic effects and handlers
• A sound and complete logic for algebraic effects
• Algebraic effects for extensible dynamic semantics
• The expressive power of side effects in prolog
• Efficient groundness analysis in Prolog

zbMATH Keywords

delimited controlprogram transformationalgebraic effect handlers

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Programming with algebraic effects and handlers
• Title not available (Why is that?)
• Handlers in action
• Title not available (Why is that?)
• Handling algebraic effects
• Tabling as a library with delimited control
• Delimited continuations for Prolog
• \textsc{Tor}: modular search with hookable disjunction
• Fusion for free. Efficient algebraic effect handlers

Cited In (6)

• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Delimited continuations for Prolog
• One-shot algebraic effects as coroutines
• Disjunctive delimited control
• No value restriction is needed for algebraic effects and handlers
• The expressive power of side effects in prolog

Uses Software

• Eff

This page was built for publication: Efficient algebraic effect handlers for Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593065)