Narrowminder: Making The World Safe For Needed Narrowing

Sergio Antoy²   Michael Hanus¹   Frank Steiner¹   Bart Massey²

Abstract

Narrowminder was an implementation environment (backend) for functional logic programming and related languages. It was based around the following features:

• Compatibility with Flat Curry for generality and expressiveness.
• XML intermediate representation for language-independence and clarity.
• Compilation to Java code for portability and efficiency.
• Support for a wide range of features, including needed narrowing, residuation, concurrency, and abstract search.
• A complete and efficient implementation of needed narrowing, including ``breadth-first'' search.

Narrowminder was abandoned some years ago in favor of some other implementations. You might be interested in the work of Prof. Antoy on narrowing implementations, which is documented at his his homepage.

Materials

• Paper: An Implementation of Narrowing Strategies (PPDP '01) [GZIPped PostScript] [PDF]
• Sources: Complete archive of last known CVS [ZIP] [GZIPped TAR]

1. Institute of Computer Science and Applied Mathematics, Christian-Albrechts-University of Kiel

2. Computer Science Department, Portland State University

Page "maintained" by Bart Massey <bart@cs.pdx.edu>