Abstract
In general, the term logic-based programming languages refers to computer languages that make (a subset of) a logic executable. There are languages based on non-classical logics like higher order logic and modal or temporal logic, but, like in this book, logic programming is mostly used as a synonym for computing in classical first-order predicate logic. A brief review of first-order logic and its notation as it forms the basis of this book can be found in Appendix A.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Frühwirth, T., Abdennadher, S. (2003). Preliminaries of Syntax and Semantics. In: Essentials of Constraint Programming. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05138-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-662-05138-2_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-08712-7
Online ISBN: 978-3-662-05138-2
eBook Packages: Springer Book Archive