A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Efficient Algebraic Effect Handlers for Prolog
[article]
2016
arXiv
pre-print
Preserved Fulltext
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. ...
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. ...
Acknowledgments This work is partly funded by the Flemish Fund for Scientific Research (FWO). We are grateful to Bart Demoen for his support of hProlog. ...
arXiv:1608.00816v1
fatcat:r4d6xxezenc4batanbwns7mujq
Transforming Delimited Control: Achieving Faster Effect Handlers
2015
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Algebraic effect handlers are a great way for modularizing side effects in Prolog, but they suffer from poor performance due to nested use of delimited control. ...
Our experimental evaluation indicates that merged handlers are twice as fast on average. ...
We refer to Schrijvers et al. (2013) for more examples of effect handlers in Prolog.
Combining Effect Handlers Effects become more interesting when they are combined. ...
dblp:conf/iclp/Saleh15
fatcat:wa43eobnxjdvzb4gjl6navbrae
Heuristics Entwined with Handlers Combined
2014
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We do so by starting from a functional specification of Prolog based on monads, and extend this with the effect handlers approach to capture the dynamic search tree as syntax. ...
Effect handlers then express heuristics in terms of tree transformations. ...
Acknowledgments We are grateful to the members of IFIP WG 2.1 for feedback on this work, to Olivier Danvy for discussions about delimited continuations, and to Ralf Hinze for his detailed comments on an ...
doi:10.1145/2643135.2643145
dblp:conf/ppdp/SchrijversWDD14
fatcat:j7wsvb2oevb6jl24rn3xpfxjv4
QD-Janus: A sequential implementation of Janus in Prolog
1993
Software, Practice & Experience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Janus is a language designed for distributed constraint programming. This paper describes QD-Janus, a sequential implementation of Janus in Prolog. ...
The choice of Prolog as the target language for a compiler, although unusual, is motivated by the following: (i) the semantic gap between Janus and Prolog is much smaller than that between Janus and, say ...
This has the desirable effect that programs become, at least in principle, efficiently implementable. ...
doi:10.1002/spe.4380231204
fatcat:ilfbuhusxjghdj7g6awe3rfexm
Suppl: A Flexible Language for Policies
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Suppl has been implemented as a compiler to Prolog and used to build several network security applications in a Java framework. 1 primitive type person. 2 primitive type scanner. 3 primitive type location ...
We present the Simple Unified Policy Programming Language (Suppl), a domain-neutral language for stating, executing, and analyzing event-condition-action policies. ...
Unlike Prolog, the Suppl predicate language is pure (no side effects), strongly typed and strongly moded. ...
doi:10.1007/978-3-319-12736-1_10
fatcat:5sfo3j3l45efjjau2yaqmnslvu
Attempto - From Specifications in Controlled Natural Language towards Executable Specifications
[article]
1996
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
The Attempto system translates specifications in ACE into discourse representation structures and into Prolog. ...
The resulting knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification. ...
Instead they are represented by sets of Prolog clauses, one clause for each disjunct. ...
arXiv:cmp-lg/9603004v1
fatcat:lc2knd76xndezbnkbsnkq7exi4
The Functional Perspective on Advanced Logic Programming
2016
International Conference on Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
The basics of logic programming, as embodied by Prolog, are generally well-known in the programming language community. ...
The cause for the community's seemingly limited interest lies with the presentation of these features: the literature frequently focuses on implementations and examples that do little to aid the understanding ...
I would like to thank the reviewers for taking the time to provide insightful comments and in-depth remarks. ...
doi:10.4230/oasics.iclp.2016.20
dblp:conf/iclp/Vandenbroucke16
fatcat:ljbcyks7tne63kbjlbgvyf37va
Introduction to the 32nd International Conference on Logic Programming Special Issue
2016
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Moreover, Picat was developed at the City University of New York, as was B-Prolog, and other logic programming-based systems, such as Ergo. ...
hold a significant, power of two, ICLP in New York because the city has a long and distinguished association with logic programming: XSB was developed at Stony Brook, as was HiLog before that, and SB-Prolog ...
We would also like to thank Andrei Voronkov and his staff for the EasyChair system, which helped us coordinate submission, review, discussion, and notification. ...
doi:10.1017/s1471068416000491
fatcat:qzindp2mnbbk3p54666cwmebee
A mathematical definition of full Prolog
1995
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The model may provide guidance for extending the established theory of logic programming to the extralogical features of Prolog. ...
The paper provides a mathematical yet simple model for the full programming language Prolog, as apparently intended by the IS0 draft standard proposal. ...
Special thanks to Yuri Gurevich, for permanent discussion of the whole evolving algebra approach and of several early versions of this paper. ...
doi:10.1016/0167-6423(95)00006-e
fatcat:tlrgvdj4wjadtdzdpks76qamvi
An Ontology-Based Data Exploration Tool for Key Performance Indicators
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Based on this model and on reasoning capabilities, the tool provides functionalities for dynamic aggregation of data and computation of KPI values through the formula. ...
This paper describes the main functionalities of an ontologybased data explorer for Key Performance Indicators (KPI), aimed to support users in the extraction of KPI values from a shared repository. ...
The authors wish to thank the Commission for its support and all the project partners for their contribution in the development of various ideas and concepts presented in this paper. ...
doi:10.1007/978-3-662-45563-0_45
fatcat:3t6qlhicwnegnk2ql2mcsw6rvm
Specifying Logic Programs in Controlled Natural Language
[article]
1995
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. ...
Controlled natural language is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage by non-specialists. ...
of this paper for valuable advice. ...
arXiv:cmp-lg/9507009v1
fatcat:mvqy5asa3fapvih6yhgbfpgozq
Backtracking with cut via a distributive law and left-zero monoids
2017
Journal of functional programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We employ the framework of algebraic effects to augment the list monad with the pruning cut operator known from Prolog. ...
The scope delimiter of cut arises as a handler. ...
Acknowledgements We would like to thank Ralf Hinze, who encouraged us to write this pearl in the first place, Kwok-Ho Cheun for enlightening discussions, and the anonymous reviewers, whose comments and ...
doi:10.1017/s0956796817000077
fatcat:ziro3piclvg6hgwrc5xvmxx6pq
Disjunctive Delimited Control
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Delimited control is a powerful mechanism for programming language extension which has been recently proposed for Prolog (and implemented in SWI-Prolog). ...
We provide a meta-interpreter that conservatively extends Prolog with delimited control and show that it enables a range of typical Prolog features and extensions, now at the library level: findall, cut ...
This port enables powerful applications in Prolog, such as high-level implementations of both tabling [3] and algebraic effects & handlers [7] . ...
arXiv:2108.02972v1
fatcat:pzx2pm3rtfeppefdc52h7dyw3u
A structured alternative to Prolog with simple compositional semantics
2011
Theory and Practice of Logic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
A simple interpreter for Prolog in the alternative language, and a definition ofuntilin Prolog, establish the identical expressive power of the two languages. ...
This paves the way for a simple account of flexible module composition mechanisms.Cube, a concrete language with the exposed principles, has been implemented on top of a Prolog engine and successfully ...
but proposed formalisations of the cut have serious problems for effective applicability. ...
doi:10.1017/s1471068411000202
fatcat:w35de7cjm5g3jkpi7pof4g2d4e
Pragmatics of Modular SOS
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
For this purpose, the meta-notation for modular SOS rules has been made more user-friendly, and derivation of computations according to the rules is simulated using Prolog. ...
Modular SOS is being used for teaching operational semantics at the undergraduate level. ...
Bartek Klin suggested the novel technique for dealing with exceptions. Leonardo de Moura suggested implementing MSOS directly in Prolog. ...
doi:10.1007/3-540-45719-4_3
fatcat:upach7lywrcnxdehaldkjuxoyu
« Previous
Showing results 1 — 15 out of 266 results