Contents of the DEC-10 Prolog Library
The history and purpose of the library is described
elsewhere. This page lists the source files in
the library, with a one-line description of each.
Library files whose names end in .hlp are help files, and may not all be
listed here.
- advice.pl
- Interlisp like advice package.
- andor.pl
- Meta circular interpreter maintaining extended and-or tree.
- applic.pl
- Function application routines based on "apply".
- arc3.pl
- Mackworth's AC-3 algorithm.
- arch1.prb
- Winston arch domain. Inference version.
- arch3.prb
- Winston arch domain.
- arhc2.prb
- Winston arch domain, with inference rules.
- arith.ops
- Arithmetic operator declarations.
- arith.pl
- Arithmetic operations.
- arrays.pl
- Updateable arrays.
- ask.pl
- Ask questions that have a one-character answer.
- assoc.lists.pl
- Association lists.
- backup.pl
- Rename a file according to a back-up convention.
- bagutl.pl
- Utilities for "bags".
- between.pl
- Generate successive integers.
- bfs.pl
- Missionaries and Cannibals: breadth first search.
- breadth_first.pl
- Define a schema for breadth-first search.
- bundle.pl
- Bundle and unbundle files.
- cc.pl
- Conditional compilation.
- clause.pl
- Convert a formula in FOPC to clausal form.
- conn
- Operator definitions for logical connectives.
- contents
- The non-HTML version of this file.
- contents.html
- This file.
- count.pl
- Information about a valid Prolog file.
- crypta.pl
- Solve cryptarithmetic puzzles.
- ctypes.pl
- Character classification.
- dcsg.ex
- Example grammar for DCSG.pl.
- dcsg.pl
- Definite Clause Slash Grammar.
- dec10.pl
- DEC-10 compatibility file for C-Prolog 1.4a.
- decons.pl
- Construct and take apart Prolog control structures.
- depth.pl
- Find or check the depth of a term.
- depth_first.pl
- Define a schema for a depth-first search.
- dfs.pl
- Missionaries and Cannibals depth first search.
- distfix.ex
- Load DISTFIX.pl and define some examples.
- distfix.pl
- Read Prolog terms with extended syntax.
- edit.pl
- Invoke an editor and return to Prolog.
- eight_puzzle.pl
- Illustrate the searching methods.
- evans.pl
- Evans geometric analogy program.
- expand.pl
- Simple macro expansion.
- expon.pl
- Synthesis of an exponentiation routine.
- figure.pl
- Figures for the Evans program.
- files.pl
- Routines for playing with files.
- flags.pl
- Global variables.
- flat.pl
- Flatten trees to lists and back.
- focus
- Reconstruction of Winston learning program.
- feach.pl
- Redefine foreach/5.
- gelran.pl
- Random number package.
- gensym.pl
- Create new atoms.
- getfile.pl
- Prompt for a file name.
- graphs.pl
- Graph processing utilities.
- guess_first.pl
- Define a schema for a guess-first search.
- heaps.pl
- Implement "heaps".
- help.pl
- Prints extracts from help files.
- help2.pl
- Extracts predicate names and descriptions from files.
- helper.pl
- Prints extracts from help files.
- help_directories.txt
- List of directories that contain ".HLP" files.
- heu.pl
- Missionaries and Cannibals: Heuristic search version.
- idback.def
- Unit interface clauses for IDBACK.pl.
- idback.pl
- Intelligent backtracking.
- imisce.pl
- Miscellaneous interpreted routines.
- infer
- Inference package for focus program.
- invoca.pl
- Fancy control structures.
- isolax.prb
- Description space for learning isolate rule.
- ixref.def
- Definitions for ixref.pl.
- ixref.pl
- Interactive cross referencer.
- keep.pl
- Keep predicate(s) in a file.
- lazy.pl
- Lazy lists.
- learn
- Part of Winston's program.
- lib.pl
- Version of Vax "lib" predicate.
- lib2.pl
- Version of Vax "lib" predicate.
- listut.pl
- List handling utilities.
- logarr.pl
- Arrays with logarithmic access time.
- logodb.pl
- Logo-like inference package.
- long.pl
- Rational arithmetic.
- makerc
- Make records from lists of relations.
- make_util
- Create the utilities baseload from this library.
- map.pl
- Implement finite maps.
- medic.pl
- Mode error diagnosis in interpreted code.
- metutl.pl
- Meta logical operations.
- module.pl
- Elementary module system for DEC-10 Prolog.
- multil.pl
- List-of-lists utilities.
- mycin.pl
- Version of the "mycin" program.
- not.pl
- Suspicious negation.
- occur.pl
- Routines for checking number and place of occurrence.
- order.pl
- Define the "ordered" predicates.
- ordset.pl
- Ordered set manipulation.
- oxo.pl
- Noughts and crosses production system.
- pim.prb
- Artificial inference testing example for focussing.
- porstr.pl
- Portray lists of characters as strings.
- pp.pl
- Prolog pretty printer.
- projec.pl
- Select k'th argument of each element of a list.
- prolog.typ
- Definition of Prolog types for typecheck.pl.
- putstr.pl
- Write out large blocks of text.
- queens.pl
- Solve the N queens problem.
- queues.pl
- Queue operations.
- random.pl
- Random number generator.
- rdtok.gen
- Tokeniser in reasonably standard Prolog.
- rdtok.pl
- Reads tokens up to next ".".
- read.pl
- Read Prolog terms in DEC-10 syntax.
- read_in.pl
- Read in a sentence as a list of words.
- read_sent.pl
- A flexible input facility.
- recon.pl
- Version of consult and reconsult.
- royalty.pl
- Royal family data base.
- rules.pl
- Production rules system.
- samsort.pl
- A sorting routine that exploits existing order.
- setof.pl
- Implementations of setof, bagof and findall.
- setutl.pl
- Set manipulation utilities.
- solution.txt
- Solution printed by Evans' program.
- sorts.pl
- Definition of keysort and sort.
- strio.pl
- Prolog input and output to character strings.
- struct.pl
- General term hacking.
- subtra.pl
- Production rules for subtraction by borrowing.
- sum.sol.pl
- Cryptarithmetic solution.
- sum1.pl
- Example sum for use with RULES and SUBTRA.
- sum2.pl
- Example sum for use with RULES and SUBTRA.
- sum3.pl
- Example sum for use with RULES and SUBTRA.
- system.pl
- Table of built-in predicates.
- system_preds.pl
- Table of built-in predicates.
- termin.pl
- Test for missing base cases.
- test.pl
- Test compiled routines by interpreting them.
- tidy.pl
- Algebraic expression simplifier.
- timing.pl
- Time execution of predicate.
- timing.pop
- Time execution of predicate (POP2 component).
- toplevel.pl
- Prolog top level.
- trace.pl
- Produce tracing messages.
- trees.pl
- Updateable binary trees.
- trysee.pl
- Search directories and extensions to find a file.
- type.pl
- Command to display files.
- typecheck.pl
- Prolog type checker.
- unfold.pl
- Unit resolution.
- update.pl
- For updating data base relations.
- util
- Utilities for focussing program.
- util.ops
- Operator declarations for utilities package.
- util.sav
- Saved state for Edinburgh Prolog ver 1.5.01 (14 Aug 1987).
- vcheck.pl
- Check for mis-spelt variables.
- winst
- Consult all focussing files.
- winst.mic
-
- winst.ref
- Focussing cross reference.
- winst2.cmd
-
- wplanc.pl
- Conditional plan generator.
- wpo.pl
- Operator declarations for WPLANC.pl.
- writef.pl
- Formatted write.
- xgproc.pl
- Translate XGs to Prolog.
- xref.def
- Cross referencer definitions.
- xref.pl
- Cross referencer.
- xrf.pl
- Cross referencer program.
- xrfcol.pl
- Collecting-up module of the cross referencer.
- xrfdef.pl
- Handles .def files for the cross referencer.
- xrfmod.pl
- Update declarations in Prolog source file.
- xrfout.pl
- Output module for the cross referencer.
- xrftst.bar
- Cross referencer test file.
- xrftst.foo
- Cross referencer test file.
- xrftty.pl
- Terminal interaction for cross referencer.