Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Software Engineering 2012. Workshopband P-199, 61-74 (2012).

Gesellschaft für Informatik, Bonn
2012


Copyright © Gesellschaft für Informatik, Bonn

Contents

Search strategies for functional logic programming

Michael Hanus , Björn Peemöller and Fabian Reck

Abstract


In this paper we discuss our practical experiences with the use of different search strategies in functional logic programs. In particular, we show that complete strategies, like breadth-first search or iterative deepening search, are a viable alternative to incomplete strategies, like depth-first search, that have been favored in the past for logic programming languages.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-293-2


Last changed 04.10.2013 18:38:00