Boizumault | The Implementation of Prolog | E-Book | www.sack.de
E-Book

E-Book, Englisch, 314 Seiten

Reihe: Princeton Legacy Library

Boizumault The Implementation of Prolog


Course Book
ISBN: 978-1-4008-6344-0
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 314 Seiten

Reihe: Princeton Legacy Library

ISBN: 978-1-4008-6344-0
Verlag: De Gruyter
Format: PDF
 Kopierschutz: 1 - PDF Watermark

No detailed description available for "The Implementation of Prolog".

Boizumault The Implementation of Prolog jetzt bestellen!

Autoren/Hrsg.

Boizumault, Patrice

Fachgebiete

Weitere Infos & Material

Foreword

Acknowledgments

Introduction

Pt. I Fundamental Principles of the Language

Ch. 1 Unification

Ch. 2 Resolution and Prolog Control

Ch. 3 Improving Prolog Control

Pt. II Principles and Techniques of Implementation

Ch. 4 Control and Stack(s) Management

Ch. 5 Representation of Terms

Ch. 6 Deterministic Call Returns

Ch. 7 Last-Call Optimization

Ch. 8 Clause Indexing

Ch. 9 Compilation of Prolog

Ch. 10 The dif and freeze Predicates of Prolog-II

Pt. III Implementations

Ch. 11 Mini-CProlog

Ch. 12 Mini-WAM

Ch. 13 Mini-Prolog-II

Ch. 14 Built-In Predicates

Conclusion

Appendix A: Mini-CProlog

Appendix B: Mini-WAM

Appendix C: Mini-Prolog-II

Appendix D: Common Part

Bibliography

Index

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.