This is yap.info, produced by makeinfo version 4.6 from yap.tex.

START-INFO-DIR-ENTRY
* Yap: (yap).           YAP Prolog User's Manual.
END-INFO-DIR-ENTRY


Indirect:
yap.info-1: 157
yap.info-2: 298980

Tag Table:
(Indirect)
Node: Top157
Node: Intro10519
Node: Install16736
Node: Configuration Options18525
Node: Machine Options20265
Node: Tuning for GCC20876
Node: Compiling Under Visual C++25873
Node: Tuning for SGI cc29202
Node: Run29618
Node: Running Yap Interactively29888
Node: Running Prolog Files32179
Node: Syntax34619
Node: Formal Syntax34972
Node: Tokens37463
Node: Numbers37870
Node: Integers38121
Node: Floats39716
Node: Strings40378
Node: Atoms42317
Node: Variables43636
Node: Punctuation Tokens44235
Node: Layout44521
Node: Loading Programs45120
Node: Compiling45411
Node: Setting the Compiler46893
Node: Saving53038
Node: Modules54170
Node: Module Concepts55545
Node: Defining Modules57263
Node: Using Modules59315
Node: Meta-Predicates in Modules60428
Node: Builtins62040
Node: Control62913
Node: Undefined Procedures71107
Node: Testing Terms73831
Node: Comparing Terms81766
Node: Arithmetic84143
Node: I/O90459
Node: Streams and Files91263
Node: C-Prolog File Handling97779
Node: I/O of Terms100000
Node: I/O of Characters109378
Node: I/O for Streams112847
Node: C-Prolog to Terminal115891
Node: I/O Control116506
Node: Sockets117830
Node: Database122856
Node: Modifying the Database124730
Node: Looking at the Database128541
Node: Database References130870
Node: Internal Database132275
Node: BlackBoard139322
Node: Sets140555
Node: Grammars142708
Node: OS145313
Node: Term Modification151813
Node: Profiling153034
Node: Call Counting155685
Node: Arrays158051
Node: Preds165107
Node: Misc165635
Node: Library184591
Node: Apply Macros185823
Node: Association Lists188807
Node: AVL Trees190699
Node: Heaps191665
Node: Lists193711
Node: Ordered Sets198225
Node: Pseudo Random201002
Node: Queues202431
Node: Random203722
Node: Red-Black Trees205082
Node: RegExp205934
Node: Splay Trees211603
Node: String I/O213706
Node: System217760
Node: Terms225667
Node: Cleanup227422
Node: Timeout229416
Node: Trees230649
Node: UGraphs231633
Node: Extensions238046
Node: Rational Trees238908
Node: Coroutining240120
Node: Attributed Variables242936
Node: Attribute Declarations245427
Node: Attribute Manipulation246322
Node: Attributed Unification248118
Node: Displaying Attributes249283
Node: Projecting Attributes250018
Node: Attribute Examples251329
Node: CLPQR257127
Node: Introduction to CLPQR259636
Node: Referencing CLPQR260591
Node: CLPQR Acknowledgments260993
Node: Solver Interface261676
Node: Notational Conventions262276
Node: Solver Predicates263180
Node: Unification267749
Node: Feedback and Bindings269295
Node: Linearity and Nonlinear Residues270050
Node: How Nonlinear Residues are made to disappear272336
Node: Isolation Axioms273013
Node: Numerical Precision and Rationals274486
Node: Projection and Redundancy Elimination282187
Node: Variable Ordering284146
Node: Turning Answers into Terms285948
Node: Projecting Inequalities286531
Node: Why Disequations291623
Node: Syntactic Sugar293956
Node: Monash Examples296525
Node: Compatibility Notes297568
Node: A Mixed Integer Linear Optimization Example298980
Node: Implementation Architecture301959
Node: Fragments and Bits302408
Node: CLPQR Bugs303689
Node: CLPQR References304261
Node: CHR305568
Node: CHR Copyright305889
Node: CHR Introduction306748
Node: CHR Introductory Examples309501
Node: CHR Library314000
Node: CHR Loading the Library314818
Node: CHR Declarations315295
Node: CHR Syntax316726
Node: How CHR work319876
Node: CHR Pragmas322363
Node: CHR Options325746
Node: CHR Built-In Predicates328263
Node: CHR Consulting and Compiling331152
Node: CHR Compiler-generated Predicates331650
Node: CHR Operator Declarations333189
Node: CHR Exceptions333791
Node: CHR Debugging335680
Node: CHR Control Flow Model336440
Node: CHR Debugging Predicates337808
Node: CHR Spy-points341291
Node: CHR Debugging Messages344070
Node: CHR Debugging Options345345
Node: CHR Programming Hints350990
Node: CHR Constraint Handlers354414
Node: CHR Backward Compatibility358703
Node: Logtalk361248
Node: Threads361757
Node: Creating and Destroying Prolog Threads362466
Node: Monitoring Threads367437
Node: Thread Communication369946
Node: Message Queues370228
Node: Signalling Threads374698
Node: Threads and Dynamic Predicates376206
Node: Thread Synchronisation378195
Node: Parallelism382122
Node: Tabling383455
Node: Low Level Tracing383946
Node: Low Level Profiling384721
Node: Debugging385501
Node: Deb Preds385701
Node: Deb Interaction388210
Node: Efficiency394123
Node: C-Interface399476
Node: Manipulating Terms403935
Node: Unifying Terms409414
Node: Manipulating Strings409837
Node: Memory Allocation410841
Node: Controlling Streams411531
Node: Calling Yap From C413196
Node: Writing C413862
Node: Loading Objects419546
Node: Sav&Rest420665
Node: Yap4 Notes420971
Node: YapLibrary422425
Node: Compatibility429679
Node: C-Prolog430362
Node: Major Differences with C-Prolog430911
Node: Fully C-Prolog Compatible432212
Node: Not Strictly C-Prolog Compatible437493
Node: Not in C-Prolog438792
Node: Not in YAP462655
Node: SICStus Prolog463001
Node: Major Differences with SICStus464569
Node: Fully SICStus Compatible468720
Node: Not Strictly SICStus Compatible487031
Node: Not in SICstus Prolog489922
Node: ISO Prolog499283
Node: Operators501770
Node: Predicate Index503844
Node: Concept Index541338

End Tag Table
