NET-CLAUSE LANGUAGE (NCL)
        Written by Zdravko Markov, Bulgarian Academy of Sciences
                      Shelved on 20th August, 1993


Net-Clause Language (NCL)
=========================

Unlike most of the entries in this library, NCL is not purely a Prolog
program. Instead, it is an augmented Prolog interpreter written in C,
together with some Prolog library routines. So you need C in order to
run NCL.

The entry comes as the following files:
    NCL.PRE - this file

    README  - overview of NCL
    NCL.MAN - Reference manual for NCL/Prolog and how to install it
    NCL.C   - NCL/Prolog C-code
    NCL.LIB - library file required to run NCL/Prolog

The rest are example programs, each one containing detailed comments:

    NLP     - Natural language parsing and semantic analysis
    DEFAULT - NL parsing by using NCL default mechanism
    GRAMMAR - Grammar rules by DD-rules
    MP      - Marker passing in semantic nets
    CIRCUIT - Model-based diagnosis of a binary adder
    QUEENS  - 4-queens problem as a network of communicating agents
    FIG     - Recognition of geometric figures
    XOR     - Connectionist-like implementation of XOR
    PIXEL   - Connectionist-like feature detection in a binary image
    FLATTEN - Stream AND-parallelism in DD-rules
    DDIL    - Data-driven inductive learning in a network of relations
    FAMILY  - Set of training examples for DDIL

NCL.MAN tells you how to run the system. Briefly, you need to compile
and link NCL.C. This will give you a runnable Prolog interpreter,
enhanced with the NCL extensions. NCL implements a fair number of
standard predicates, including consult and reconsult, so NCL programs
can be loaded in the normal manner for Prolog.                    


CHECKED ON STANDARD C : no.


PORTABILITY : Haven't had time to check.


INTERNAL DOCUMENTATION : No comments in the C source code. The
user manual gives some idea of how the NCL-specific parts of the
interpreter work, but you will need to know how Prolog interpreters are
implemented to understand the source properly.