'xrdef {Overview-title}{Overview}
'xrdef {Overview-pg}{1}
'xrdef {Overview-snt}{Chapter'tie1}
'xrdef {Introduction-title}{Introduction}
'xrdef {Introduction-pg}{1}
'xrdef {Introduction-snt}{Section'tie1.1}
'xrdef {CommandLine-title}{Command line Options}
'xrdef {CommandLine-pg}{1}
'xrdef {CommandLine-snt}{Section'tie1.2}
'xrdef {Startup-title}{Startup}
'xrdef {Startup-pg}{2}
'xrdef {Startup-snt}{Section'tie1.3}
'xrdef {Syntax-title}{Syntax}
'xrdef {Syntax-pg}{3}
'xrdef {Syntax-snt}{Section'tie1.4}
'xrdef {Integers-title}{Integers}
'xrdef {Integers-pg}{3}
'xrdef {Integers-snt}{Section'tie1.4.1}
'xrdef {FloatingPoint-title}{Floating Point Numbers}
'xrdef {FloatingPoint-pg}{3}
'xrdef {FloatingPoint-snt}{Section'tie1.4.2}
'xrdef {Atoms-title}{Atoms}
'xrdef {Atoms-pg}{4}
'xrdef {Atoms-snt}{Section'tie1.4.3}
'xrdef {Variables-title}{Variables}
'xrdef {Variables-pg}{4}
'xrdef {Variables-snt}{Section'tie1.4.4}
'xrdef {Tuples-title}{Tuples}
'xrdef {Tuples-pg}{4}
'xrdef {Tuples-snt}{Section'tie1.4.5}
'xrdef {Lists-title}{Lists}
'xrdef {Lists-pg}{5}
'xrdef {Lists-snt}{Section'tie1.4.6}
'xrdef {CharacterEscaping-title}{Character Escaping}
'xrdef {CharacterEscaping-pg}{5}
'xrdef {CharacterEscaping-snt}{Section'tie1.4.7}
'xrdef {Notation-title}{Notation}
'xrdef {Notation-pg}{6}
'xrdef {Notation-snt}{Section'tie1.5}
'xrdef {Builtin Predicates-title}{Builtin Predicates}
'xrdef {Builtin Predicates-pg}{7}
'xrdef {Builtin Predicates-snt}{Chapter'tie2}
'xrdef {Control-title}{Control}
'xrdef {Control-pg}{7}
'xrdef {Control-snt}{Section'tie2.1}
'xrdef {Loading-title}{Loading, Consulting and Compiling}
'xrdef {Loading-pg}{8}
'xrdef {Loading-snt}{Section'tie2.2}
'xrdef {LoadIntro-title}{Introduction}
'xrdef {LoadIntro-pg}{8}
'xrdef {LoadIntro-snt}{Section'tie2.2.1}
'xrdef {SearchPath-title}{The Search Path}
'xrdef {SearchPath-pg}{8}
'xrdef {SearchPath-snt}{Section'tie2.2.1.1}
'xrdef {DynamicCode-title}{Dynamic Code}
'xrdef {DynamicCode-pg}{9}
'xrdef {DynamicCode-snt}{Section'tie2.2.1.2}
'xrdef {StaticCode-title}{Static Code}
'xrdef {StaticCode-pg}{9}
'xrdef {StaticCode-snt}{Section'tie2.2.1.3}
'xrdef {Style-title}{Style Warnings}
'xrdef {Style-pg}{10}
'xrdef {Style-snt}{Section'tie2.2.2}
'xrdef {LoadingDynamic-title}{Loading Dynamic Code}
'xrdef {LoadingDynamic-pg}{10}
'xrdef {LoadingDynamic-snt}{Section'tie2.2.3}
'xrdef {LoadingStatic-title}{Loading Static Code}
'xrdef {LoadingStatic-pg}{11}
'xrdef {LoadingStatic-snt}{Section'tie2.2.4}
'xrdef {IO-title}{Input and Output Primitives}
'xrdef {IO-pg}{14}
'xrdef {IO-snt}{Section'tie2.3}
'xrdef {IOTerms-title}{Input and Output of Terms}
'xrdef {IOTerms-pg}{14}
'xrdef {IOTerms-snt}{Section'tie2.3.1}
'xrdef {IOChars-title}{Input and Output of Characters}
'xrdef {IOChars-pg}{20}
'xrdef {IOChars-snt}{Section'tie2.3.2}
'xrdef {StreamHandling-title}{File and Stream Handling}
'xrdef {StreamHandling-pg}{21}
'xrdef {StreamHandling-snt}{Section'tie2.3.3}
'xrdef {Arithmetic-title}{Arithmetic}
'xrdef {Arithmetic-pg}{23}
'xrdef {Arithmetic-snt}{Section'tie2.4}
'xrdef {ArithmeticComparison-title}{Arithmetic Comparison}
'xrdef {ArithmeticComparison-pg}{25}
'xrdef {ArithmeticComparison-snt}{Section'tie2.4.1}
'xrdef {TypePrimitives-title}{Type Primitives}
'xrdef {TypePrimitives-pg}{25}
'xrdef {TypePrimitives-snt}{Section'tie2.5}
'xrdef {Term Comparison-title}{Term Comparison}
'xrdef {Term Comparison-pg}{27}
'xrdef {Term Comparison-snt}{Section'tie2.6}
'xrdef {StandardOrderTerms-title}{The Standard Order on Terms}
'xrdef {StandardOrderTerms-pg}{28}
'xrdef {StandardOrderTerms-snt}{Section'tie2.6.1}
'xrdef {TermComparisonPreds-title}{Term Comparison Predicates}
'xrdef {TermComparisonPreds-pg}{28}
'xrdef {TermComparisonPreds-snt}{Section'tie2.6.2}
'xrdef {ProgramState-title}{Examining the Program State}
'xrdef {ProgramState-pg}{29}
'xrdef {ProgramState-snt}{Section'tie2.7}
'xrdef {ExecutionAndError-title}{Execution and Error Handling}
'xrdef {ExecutionAndError-pg}{31}
'xrdef {ExecutionAndError-snt}{Section'tie2.8}
'xrdef {ModifyingDatabase-title}{Modifying the Database}
'xrdef {ModifyingDatabase-pg}{36}
'xrdef {ModifyingDatabase-snt}{Section'tie2.9}
'xrdef {Properties-title}{Property Management}
'xrdef {Properties-pg}{37}
'xrdef {Properties-snt}{Section'tie2.10}
'xrdef {Metalogical-title}{Metalogical Primitives}
'xrdef {Metalogical-pg}{39}
'xrdef {Metalogical-snt}{Section'tie2.11}
'xrdef {GrammarRules-title}{Transformations on Reading}
'xrdef {GrammarRules-pg}{43}
'xrdef {GrammarRules-snt}{Section'tie2.12}
'xrdef {Dcg-title}{Definite Clause Grammars}
'xrdef {Dcg-pg}{44}
'xrdef {Dcg-snt}{Section'tie2.12.1}
'xrdef {FileTrans-title}{File Transformations}
'xrdef {FileTrans-pg}{44}
'xrdef {FileTrans-snt}{Section'tie2.12.2}
'xrdef {ListHandling-title}{List Handling}
'xrdef {ListHandling-pg}{46}
'xrdef {ListHandling-snt}{Section'tie2.13}
'xrdef {StringsAndAtoms-title}{String and Atom Handling}
'xrdef {StringsAndAtoms-pg}{46}
'xrdef {StringsAndAtoms-snt}{Section'tie2.14}
'xrdef {Threads-title}{Threads}
'xrdef {Threads-pg}{50}
'xrdef {Threads-snt}{Section'tie2.15}
'xrdef {Parlog-title}{Prolog - Parlog Interface}
'xrdef {Parlog-pg}{52}
'xrdef {Parlog-snt}{Section'tie2.16}
'xrdef {Miscellaneous-title}{Miscellaneous Primitives}
'xrdef {Miscellaneous-pg}{53}
'xrdef {Miscellaneous-snt}{Section'tie2.17}
'xrdef {Tcp-title}{TCP Interface}
'xrdef {Tcp-pg}{57}
'xrdef {Tcp-snt}{Chapter'tie3}
'xrdef {TcpIntro-title}{Introduction to TCP/IP}
'xrdef {TcpIntro-pg}{57}
'xrdef {TcpIntro-snt}{Section'tie3.1}
'xrdef {TcpConnected-title}{Connection Oriented Protocol}
'xrdef {TcpConnected-pg}{58}
'xrdef {TcpConnected-snt}{Section'tie3.2}
'xrdef {TcpConnectionless-title}{Connectionless Oriented Protocol}
'xrdef {TcpConnectionless-pg}{60}
'xrdef {TcpConnectionless-snt}{Section'tie3.3}
'xrdef {TcpMisc-title}{Miscellaneous TCP Predicates}
'xrdef {TcpMisc-pg}{62}
'xrdef {TcpMisc-snt}{Section'tie3.4}
'xrdef {TcpLow-title}{Low Level TCP primitives}
'xrdef {TcpLow-pg}{64}
'xrdef {TcpLow-snt}{Section'tie3.5}
'xrdef {TcpEg-title}{Simple TCP Examples}
'xrdef {TcpEg-pg}{69}
'xrdef {TcpEg-snt}{Section'tie3.6}
'xrdef {TcpEgConnected-title}{Connected Sockets}
'xrdef {TcpEgConnected-pg}{69}
'xrdef {TcpEgConnected-snt}{Section'tie3.6.1}
'xrdef {TcpEgConnectionless-title}{Connectionless Sockets}
'xrdef {TcpEgConnectionless-pg}{70}
'xrdef {TcpEgConnectionless-snt}{Section'tie3.6.2}
'xrdef {TcpEgBroadcast-title}{Broadcast Sockets}
'xrdef {TcpEgBroadcast-pg}{71}
'xrdef {TcpEgBroadcast-snt}{Section'tie3.6.3}
'xrdef {Mailboxes-title}{Mailbox-based communication model}
'xrdef {Mailboxes-pg}{73}
'xrdef {Mailboxes-snt}{Chapter'tie4}
'xrdef {MbxIntroduction-title}{Introduction to Mailboxes}
'xrdef {MbxIntroduction-pg}{74}
'xrdef {MbxIntroduction-snt}{Section'tie4.1}
'xrdef {MessagePeeking-title}{Message Peeking}
'xrdef {MessagePeeking-pg}{74}
'xrdef {MessagePeeking-snt}{Section'tie4.1.1}
'xrdef {TwowayCommunication-title}{Two-way Communication}
'xrdef {TwowayCommunication-pg}{74}
'xrdef {TwowayCommunication-snt}{Section'tie4.1.2}
'xrdef {MultiwayCommunication-title}{Multi-way Communication}
'xrdef {MultiwayCommunication-pg}{74}
'xrdef {MultiwayCommunication-snt}{Section'tie4.1.3}
'xrdef {MailboxServer-title}{Mailbox Server}
'xrdef {MailboxServer-pg}{75}
'xrdef {MailboxServer-snt}{Section'tie4.2}
'xrdef {RegisteringMailboxNames-title}{Registering Mailbox Names}
'xrdef {RegisteringMailboxNames-pg}{76}
'xrdef {RegisteringMailboxNames-snt}{Section'tie4.2.1}
'xrdef {RestrictedAccess-title}{Restricting Access}
'xrdef {RestrictedAccess-pg}{76}
'xrdef {RestrictedAccess-snt}{Section'tie4.3}
'xrdef {StartingMailboxes-title}{Starting Mailboxes}
'xrdef {StartingMailboxes-pg}{76}
'xrdef {StartingMailboxes-snt}{Section'tie4.4}
'xrdef {MailboxPrimitives-title}{Mailbox Primitives}
'xrdef {MailboxPrimitives-pg}{77}
'xrdef {MailboxPrimitives-snt}{Section'tie4.5}
'xrdef {MbxInit-title}{Opening, Modifying and Closing Mailboxes}
'xrdef {MbxInit-pg}{78}
'xrdef {MbxInit-snt}{Section'tie4.5.1}
'xrdef {MbxIO-title}{Reading and Writing from Mailboxes}
'xrdef {MbxIO-pg}{78}
'xrdef {MbxIO-snt}{Section'tie4.5.2}
'xrdef {MbxMisc-title}{Miscellanious Mailbox Predicates}
'xrdef {MbxMisc-pg}{79}
'xrdef {MbxMisc-snt}{Section'tie4.5.3}
'xrdef {Foreign Interface-title}{Foreign Language Interface}
'xrdef {Foreign Interface-pg}{81}
'xrdef {Foreign Interface-snt}{Chapter'tie5}
'xrdef {ForeignPredicates-title}{Foreign Language Predicates}
'xrdef {ForeignPredicates-pg}{81}
'xrdef {ForeignPredicates-snt}{Section'tie5.1}
'xrdef {ForeignComp-title}{Compilation and Example}
'xrdef {ForeignComp-pg}{82}
'xrdef {ForeignComp-snt}{Section'tie5.1.1}
'xrdef {Tracer-title}{Prolog Tracer User Guide}
'xrdef {Tracer-pg}{85}
'xrdef {Tracer-snt}{Chapter'tie6}
'xrdef {Operators-title}{Operators}
'xrdef {Operators-pg}{87}
'xrdef {Operators-snt}{Appendix'tie'char65{}}
'xrdef {Error Codes-title}{Error Codes}
'xrdef {Error Codes-pg}{89}
'xrdef {Error Codes-snt}{Appendix'tie'char66{}}
'xrdef {Low Level-title}{Low-level Primitives}
'xrdef {Low Level-pg}{93}
'xrdef {Low Level-snt}{Appendix'tie'char67{}}
'xrdef {PredicateIndex-title}{Predicate Index}
'xrdef {PredicateIndex-pg}{97}
'xrdef {PredicateIndex-snt}{}
'xrdef {UserPredicateIndex-title}{User Defined Predicate Index}
'xrdef {UserPredicateIndex-pg}{103}
'xrdef {UserPredicateIndex-snt}{}
'xrdef {ConceptIndex-title}{Concept Index}
'xrdef {ConceptIndex-pg}{105}
'xrdef {ConceptIndex-snt}{}
