Efficient algebraic effect handlers for Prolog

DOI10.1017/S147106841600034XzbMath1379.68080arXiv1608.00816OpenAlexW2963291743MaRDI QIDQ4593065

Tom Schrijvers, Amr Hany Saleh

Publication date: 9 November 2017

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

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

zbMATH Keywords

program transformationdelimited controlalgebraic effect handlers

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Disjunctive delimited control ⋮ No value restriction is needed for algebraic effects and handlers ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control

Uses Software

• Eff

Cites Work

• Unnamed Item
• Unnamed Item
• Programming with algebraic effects and handlers
• \textsc{Tor}: modular search with hookable disjunction
• Handling Algebraic Effects
• Fusion for Free
• Tabling as a library with delimited control
• Handlers in action
• Delimited continuations for prolog

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