Next:
ref-lte
, Previous:
ref-iou
, Up:
Prolog Intro
4.7 Arithmetic
ref-ari-ove
: Overview
ref-ari-eae
: Evaluating Arithmetic Expressions
ref-ari-exc
: Exceptions Related to Arithmetic
ref-ari-acm
: Arithmetic Comparison
ref-ari-aex
: Arithmetic Expressions
ref-ari-sum
: Predicate Summary
User's Manual
Table of Contents
Send feedback on this subject.