Heuristics entwined with handlers combined: From functional specification to logic programming implementation
A long-standing problem in logic programming is how to cleanly separate logic and control.
While solutions exist, they fall short in one of two ways: some are too intrusive, because they …
While solutions exist, they fall short in one of two ways: some are too intrusive, because they …
An integrated approach to assertion-based random testing in Prolog
We present an approach for assertion-based random testing of Prolog programs that is
tightly integrated within an overall assertion-based program development scheme. Our …
tightly integrated within an overall assertion-based program development scheme. Our …
Property-based testing via proof reconstruction
Property-based testing (PBT) is a technique for validating code against an executable
specification by automatically generating test-data. We present a proof-theoretical …
specification by automatically generating test-data. We present a proof-theoretical …
Property-Based Testing by Elaborating Proof Outlines
Property-based testing (PBT) is a technique for validating code against an executable
specification by automatically generating test-data. We present a proof-theoretical …
specification by automatically generating test-data. We present a proof-theoretical …
Efficient algebraic effect handlers for Prolog
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 …
program control-flow, and to implement a wide range of control-flow and dataflow effects on …
Disjunctive Delimited Control
T Schrijvers - Theory And Practice Of Logic Programming, 2024 - lirias.kuleuven.be
Delimited control is a powerful mechanism for programming language extension which has
been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the …
been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the …
Disjunctive delimited control
A Vandenbroucke, T Schrijvers - … on Logic-Based Program Synthesis and …, 2021 - Springer
Delimited control is a powerful mechanism for programming language extension which has
been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the …
been recently proposed for Prolog (and implemented in SWI-Prolog). By manipulating the …
Spacetime programming: a synchronous language for constraint search
P Talbot - 2018 - theses.hal.science
Constraint programming is a paradigm for computing with mathematical relations named
constraints. It is a declarative approach to describe many real-world problems including …
constraints. It is a declarative approach to describe many real-world problems including …
An integrated approach to assertion-based random testing in logic languages
I Casso San Román - 2021 - oa.upm.es
We present an approach for assertion-based random testing of Prolog programs that is
tightly integrated within an overall assertion-based program development scheme. Our …
tightly integrated within an overall assertion-based program development scheme. Our …
Spacetime Programming: A Synchronous Language for Composable Search Strategies
P Talbot - Proceedings of the 21st International Symposium on …, 2019 - dl.acm.org
Search strategies are crucial to efficiently solve constraint satisfaction problems. However,
programming search strategies in the existing constraint solvers is a daunting task and …
programming search strategies in the existing constraint solvers is a daunting task and …