Abstract
“Prolog, the Standard”, is the first reference manual on the ISO international standard [2] on the programming language Prolog called in this book Standard Prolog.
Keywords
- Logic Programming
- Compliance Rule
- Definite Clause
- Runnable Specification
- Syntax Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Deransart, P., Ed-Dbali, A., Cervoni, L. (1996). Introduction. In: Prolog: The Standard. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61411-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-61411-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59304-1
Online ISBN: 978-3-642-61411-8
eBook Packages: Springer Book Archive