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 <email@example.com>