التفاصيل البيبلوغرافية
| العنوان: |
Efficient algebraic effect handlers for Prolog. |
| المؤلفون: |
SALEH, AMR HANY, SCHRIJVERS, TOM, Carro, Manuel, King, Andy |
| المصدر: |
Theory & Practice of Logic Programming; Sep2016, Vol. 16 Issue 5/6, p884-898, 15p |
| مصطلحات موضوعية: |
ALGEBRAIC coding theory, PROLOG (Computer program language), DATA flow computing, FLOW control (Data transmission systems), PROGRAMMING languages |
| مستخلص: |
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. [ABSTRACT FROM AUTHOR] |
|
Copyright of Theory & Practice of Logic Programming is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Complementary Index |
