Collection of formal and informal papers covering design and use of BNR Prolog (1988-1995). - View it on GitHub