Contents of the NCL examples

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

General-purpose utility libraries, including sets, trees, graphs, lists, updateable arrays,

The Edinburgh DEC-10 library

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• File-by-file contents listing

Cugini's utilities

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The source file

Utilities from Sicstus Prolog

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

List-handling predicates

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Bounded-length version of the list-length predicate, for Sicstus Prolog

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Predicates for handling 2-3-trees

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Graph-handling routines

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Sets-as-intervals predicates

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

See also ...

Graphics and I/O

Turtle graphics

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Cursor-addressing predicates

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

See also ...

Parsers and tokenisers, grammar-translators, logic-grammar extensions to Prolog

Abstract syntax notation translator

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The main program. I don't have a convincing example of ASN in the .descr file, since the demonstration predicates supplied don't display enough to make it clear what's going on. However, if you can't find the article referred to there, the main program may give you some idea.

Definite clause translation grammars

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

DCG translator

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Government-binding parser ("Gibberish")

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The main program. I don't have an example of a grammar in the .descr file, but you can see one here.

See also ...

Object-oriented extensions to Prolog

Object-oriented package (POEM

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The manual.
• An example program.

Functional-programming extensions to Prolog

Grips - a functional language in Prolog

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The manual.

Extensions to Prolog syntax: macros, etc

Structures in Prolog

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Augmented Transition net (ATN) interpreter

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

See also ...

Expert systems and shells

Expert system for forestry management

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Expert system shell

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Theorem proving

Plaisted's theorem prover

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• Some test input.. I don't have an example in the .descr file, but these tests may give some idea of what's going on.

Meta-interpreters for Prolog

See also ...

Other types of reasoning - other logics, semantic nets, intelligent backtracking, constraint propagation, connectionist, etc

See also ...

Machine learning

Simulation of multi-agent tutoring

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

See also ...

Compilers, language translators, databases

Demonstration mini-compiler (in Grips)

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The output from the compiler demonstration mentioned in the .descr file, but with the complete virtual-machine trace
• The program which it was compiling in this demo

Prolog-to-SQL translator

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Game-playing programs

Program for playing the Mastermind code-breaking game

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Noughts-and-crosses program

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Benchmarks and compatibility tests

Naive-reverse benchmark

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Peirera's benchmarks

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Operator tests

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Program analysis and manipulation

Predicate auto-tester

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

"make" tool for building large systems (PROM)

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The manual, in PostScript

Shapiro's debugger

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Static call analyser

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Teaching Prolog

Notes and examples introducing Prolog to mathematicians

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Source from Jocelyn's book "The Logic Programming Tutor"

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

See also ...

Miscellaneous applications

Programming consultant, Eliza-style

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Doubly-linked list package

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

AI microworlds for teaching and AI competition (uses Pop-11)

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Various demonstration programs

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

Linger: a tool for grammar analysis of western European languages

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry

File separator

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry