Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming

08/27/2019
by   Jan C. Dageförde, et al.
0

In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the non-deterministic and deterministic behaviour during execution of an application. Introducing such a representation facilitates the use of various search strategies. In order to demonstrate the applicability of our approach, we incorporate explicit search trees into the virtual machine of the constraint-logic object-oriented programming language Muli. We then exemplarily implement three search algorithms that traverse the search tree on-demand: depth-first search, breadth-first search, and iterative deepening depth-first search. In particular, the last two strategies allow for a complete search, which is novel in constraint-logic object-oriented programming and highlights our main contribution. Finally, we compare the implemented strategies using several benchmarks.

READ FULL TEXT

page 1

page 2

page 3

page 4

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
08/24/2018

Reference Type Logic Variables in Constraint-logic Object-oriented Programming

Constraint-logic object-oriented programming, for example using Muli, fa...
research
01/22/2020

Drawing Prolog Search Trees: A Manual for Teachers and Students of Logic Programming

Programming in Prolog is hard for programmers that are used to procedura...
research
08/24/2022

Constraint-driven multi-task learning

Inductive logic programming is a form of machine learning based on mathe...
research
07/03/2000

Constraint Exploration and Envelope of Simulation Trajectories

The implicit theory that a simulation represents is precisely not in the...
research
03/06/2012

Search Combinators

The ability to model search in a constraint solver can be an essential a...

Please sign up or login with your details

Forgot password? Click here to reset