\input texinfo  @c -*-texinfo-*-
@comment %**start of header
@setfilename parlog.info
@settitle Parallel Parlog @value{edition}
@setchapternewpage odd
@paragraphindent 0
@comment %**end of header

@set edition V1.5.9
@set update-date 28 September 1993
@set parlog

@ifinfo
This file documents the Parlog system.

Copyright @copyright{} 1989 Imperial College, London.  All rights reserved.
@end ifinfo

@iftex
@finalout
@end iftex

@tex
% LaTeX "sloppy"
\global\tolerance=10000
\global\hfuzz=.5pt
\global\vfuzz=.5pt

% Adjust for a4
\advance\voffset by-1.3truecm
\vsize=9.4truein
\hsize=6.25truein

% \global\pageheight=\vsize
% \global\hoffset-0.125cm
@end tex

@tex
% backslash
\gdef\\{{\tt\char"5C}}
\gdef\at{{\tt\char"40}}
@end tex

@titlepage

@title The Parallel Parlog User Manual @value{edition}
@subtitle Parlog Group, Department of Computing, Imperial College, London
@subtitle 9th October 1989
@subtitle Revised 14th June 1990, @value{update-date}
@author by Jim Crammond, Andrew Davison, Alastair Burt,
@author Matthew Huntbach, Melissa Lam
@author Yannis Cosmadopoulos and Damian Chu

@end titlepage

@ifinfo
@node Top, UserManual, (dir), (dir)
@comment  node-name,  next,  previous,  up
@top PARLOG

This is Parlog.
@end ifinfo

@defindex up

@menu
* UserManual::                  User Manual
* ReferenceManual::             Reference Manual
* IC-PrologII::                 Interface with IC-Prolog II
* References::                  References
* PredicateIndex::              Predicate Index









 --- The Detailed Node Listing ---

User Manual

* Introduction::                Introduction
* About::                       About Parallel Parlog
* EnteringExiting::             Entering and Exiting the Parallel Parlog System
* Running::                     Running Queries
* LoadingCompiling::            Loading and Compiling
* Tracing::                     Tracing
* Errors::                      Error Messages
* Modules::                     Modules
* GuardSafety::                 Guard Safety Considerations

Error Messages

* BuiltinErrors::               Builtin Errors
* SyntaxErrors::                Syntax Errors
* CompilerErrors::              Compiler Errors
* Deadlock::                    Deadlock

Reference Manual

* Syntax::                      Syntax
* EscapeSequences::             Escape Sequences
* Semantics::                   Semantics
* CommandLine::                 Command Line Options
* Environment::                 Environment Variables
* StartupFile::                 Startup File Processing
* FilenamesAndPaths::           Filenames and Paths
* SystemOperatorDeclarations::  System Operator Declarations
* SystemPredicates::            System Predicates
* ForeignRoutines::             Foreign Routines
* AlternativeTracer::           An Alternative Tracer
* ParlogShell::                 Parlog Shell
* SPMCompatibility::            SPM Compatibility
* MacParlogCompatibility::      MacParlog Compatibility
* OldChanges::                  Changes Between V1.0 and V1.4
* Changes::                     Changes Between V1.4 and V1.5
* BugsFeatures::                Bugs/Features

System Predicates

* UnificationRelated::          Unification Related
* TypeTests::                   Type Tests
* ArithmeticExpressions::       Arithmetic Expressions
* TermComparison::              Term Comparison
* TermManipulation::            Term Manipulation
* Metalevel::                   Metalevel
* InputOutput::                 Input and Output
* ChannelIO::                   Channels
* CompilationAndLoading::       Compilation and Loading
* Operators::                   Operators Related
* Spypoints::                   Spypoints
* Miscellaneous::               Miscellaneous

Input and Output

* Streams::                     Streams
* CharacterIO::                 Character I/O
* TermIO::                      Term I/O

Foreign Routines

* ForeignDeclarations::         Foreign Declarations
* AddingForeignRoutines::       Adding Foreign Routines

An Alternative Tracer

* LoadingUsingTracer::          Loading and Using the Tracer
* TraceCommands::               Trace Commands
* DisplayingStateComputation::  Displaying State of Computation

Interface with IC-Prolog II

* CallingProlog::               Parlog calling Prolog
* PipeCommunication::           Inter thread/process communication
* NetworkCommunication::        TCP/IP and Mailboxes
* Other::                       Miscellaneous Additional Primitives
@end menu

@include user.texi
@include reference.texi
@include icprolog.texi
@include bib.texi
@include index.texi

@shortcontents
@contents
@bye
