Prolog: the Standard. Reference Manual
Book information
Description
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
Similar books
A Grammatical View of Logic Programming
1993 · PDF
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
1990 · PDF
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF
A Grammatical View of Logic Programming
1993 · PDF
Attribute Grammars: Definitions, Systems and Bibliography
1988 · DJVU
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF
Programming Language Implementation and Logic Programming: International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
1990 · DJVU
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
2000 · PDF