Narrowminder: Making The World Safe For Needed Narrowing

Sergio Antoy2   Michael Hanus1   Frank Steiner1   Bart Massey2


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

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.


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 <>