Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

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

Gesellschaft für Informatik, Bonn

Copyright © Gesellschaft für Informatik, Bonn


Search strategies for functional logic programming

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


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