Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming

Abstract

0000−0001−9141−7968] and Finn Teegen 2[0000−0002−7905−3804]Abstract. 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 objectoriented programming language Muli. We then exemplarily implement three search algorithms that traverse the search tree on-demand: depthfirst 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.