BNR Prolog Papers

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

View on GitHub