The public-domain Prolog library

Each entry is stored under its own directory, containing the following:

• A .descr file, containing a description of the package, with information about porting, size, etc, and usually with an example.
• A .pre file. Similar to the .descr file, but to be read when you need to know how to load and run the package.
• A .tar.gz file, containing the package itself. Extract the files by decompressing with gunzip, and then de-taring the resulting .tar archive.

Note that the .descr files are usually based on comments and writeups supplied by the contributors. I have annotated them in some cases, e.g. where I've changed the code, but I have not rewritten them from scratch. Note also that some of the entries are quite old, and assumptions about user interfaces (e.g. use of windowing predicates), good programming practice, etc, may have changed in the meantime.

For some entries, I've also made a subdirectory called "files", and stored some or all of the source files there. I've done this where I think it's particularly convenient or educational to be able to pick and choose individual files via WWW; where the .descr file doesn't give a good example of the entry in use and the source files may help; or just where I think the files are interesting in their own right.

The rest of this page lists the contents of the library by topic. The listing for each entry contains links to the .descr and .tar.gz files, to the entry's directory itself, and to the individual files if these exist.

Prolog implementations

Prolog interpreter in C, extended with "net clause language" (NCL) for describing distributed computation models using unification.

• Description of entry
• All files, as .tar.gz file
• Main FTP directory for entry
• The NCL manual
• Examples of NCL:
  • 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; trees, sets, and graphs

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, 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.

Other extensions to Prolog

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

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

Machine learning

Simulation of multi-agent tutoring

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

See also ...

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.

Other types of reasoning - other logics, semantic nets, connectionist, etc

See also ...

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
• The notes and examples

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