$poplocal/local/prb/README

This directory contains the Poprulebase system, a forward chaining
production system interpreter implemented in Pop-11. It replaces
the version previously called  NEWPSYS, introduced to Poplog in 1991.

The directory should normally be installed as $poplocal/local/prb and
then the install_prb shell script run to set up links from other local
directories.

The Pop-11 file prblib.p is used to extend the library search lists so
that the relevant prb sub-directories are added to popautolist,
popuseslist, vedhelplist, vedteachlist, etc.

Sub-directories:

    prb/auto/
        Autoloadable extensions to Poprulebase. Accessible only after
        compiling prblib.p

    prb/help/
        Help files and news file

    prb/lib/
        Non-autoloadable library files (need the "lib" or "uses"
        command.)

    prb/ref/
        Ref files (when they are produced)

    prb/teach/
        Tutorial introductions and examples

    prb/test
        Contains some test programs used for development and testing of
        the system. Delete if unwanted.

    prb/junk
        If this exists, that's a mistake in the distribution. Please
        delete it.

FILES
    prb/README
        This file

    prb/install_prb
        Shell script to run after installing this directory as
            $poplocal/local/prb
        If the directory has a different location, edit this file
        and prblib.p

    prb/mkprb
        Create a saved image $poplocalbin/prb.psv
        containing objectclass and poprulebase, along with some VED
        tailoring files. (Some may not be needed)
        Remove the objectclass and/or ved instructions if desired.

    prb/mktarfile
        Shell script for making tar file in the directory above this
        one. Check that you don't already have a file called ../prbtar
        that you want preserved. Can be used to make a tar file of this
        directory

    prb/prblib.p
        Makes the libraries accessible to pop-11 users.
        If this directory is installed somewhere other than
            $poplocal/local/prb,
        edit this file accordingly and prb/install_prb
