An Assertion language for slicing Constraint Logic Languages

08/14/2018
by   Moreno Falaschi, et al.
0

Constraint Logic Programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints in a shared store. In a previous paper, we developed a framework for dynamic slicing of CCP where the user first identifies that a (partial) computation is wrong. Then, she marks (selects) some parts of the final state corresponding to the data (constraints) and processes that she wants to study more deeply. An automatic process of slicing begins, and the partial computation is "depurated" by removing irrelevant information. In this paper we give two major contributions. First, we extend the framework to CLP, thus generalizing the previous work. Second, we provide an assertion language suitable for both, CCP and CLP, which allows the user to specify some properties of the computations in her program. If a state in a computation does not satisfy an assertion then some "wrong" information is identified and an automatic slicing process can start. This way we make one step further towards automatizing the slicing process. We show that our framework can be integrated with the previous semi-automatic one, giving the user more choices and flexibility. We show by means of examples and experiments the usefulness of our approach.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2002

Soft Concurrent Constraint Programming

Soft constraints extend classical constraints to represent multiple cons...
research
09/28/2020

A Theoretical Study of (Full) Tabled Constraint Logic Programming

Logic programming with tabling and constraints (TCLP, tabled constraint ...
research
07/26/2011

ALPprolog --- A New Logic Programming Method for Dynamic Domains

Logic programming is a powerful paradigm for programming autonomous agen...
research
08/31/2020

Constraint-Logic Object-Oriented Programming with Free Arrays

Constraint-logic object-oriented programming provides a useful symbiosis...
research
07/25/2019

Spacetime Programming: A Synchronous Language for Composable Search Strategies

Search strategies are crucial to efficiently solve constraint satisfacti...
research
11/17/2017

Automatic Pill Reminder for Easy Supervision

In this paper we present a working model of an automatic pill reminder a...
research
02/24/2014

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach

We propose a timed and soft extension of Concurrent Constraint Programmi...

Please sign up or login with your details

Forgot password? Click here to reset