Preliminary BNR Prolog was a research project of the Computing Research Lab of Bell Northern Research between 1988 and 1995. See BNR Prolog Papers