Prolog: the Standard. Reference Manual

✍ Scribed by Pierre Deransart, Laurent Cervoni, AbdelAli Ed-Dbali

• Publisher: Springer
• Year: 1996
• Tongue: English
• Leaves: 279
• Category: Library

✦ Table of Contents

Foreword......Page 3
Preface......Page 5
Contents......Page 7
Figures & Tables......Page 11
1 Introduction......Page 12
2 Prolog Data Structures......Page 16
3 Prolog Unification......Page 22
4 Prolog Execution Model......Page 29
5 Built-in Predicates......Page 43
6 Prolog Arithmetic......Page 205
7 Prolog Environment - Sources & Sinks......Page 215
8 Prolog Flags & Directives......Page 224
9 Prolog Syntax......Page 229
10 Portable Programs......Page 247
11 Annexes......Page 253
Thematic Classification of Predicates......Page 269
Biblio......Page 271
Index......Page 272