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