Abstract
Some terms represent arithmetic expressions when they are in the following positions:
-
the right-hand argument of the built-in predicate is/2,
-
both arguments of the arithmetic comparison built-in predicates (=:=)/2, (=\=)/2, (<)/2, (>)/2, (=<)/2, (>=)/2.
Keywords
- Expression Evaluation
- Error Case
- Basic Arithmetic
- Arithmetic Expression
- Functor Definition
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). Prolog Arithmetic. In: Prolog: The Standard. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-61411-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-61411-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-59304-1
Online ISBN: 978-3-642-61411-8
eBook Packages: Springer Book Archive