This chapter describes the features provided by ECLiPSe for the declaration and use of arrays and non-logical variables. These provide a mechanism to maintain information across backtracking, in a more procedural programming manner.
Arrays and non-logical variables are handled by a single set of builtins, where a non-logical variable is just considered as an array with no dimensions. Builtins that accept array specifications in the form Name/Arity also accept Name/0 or just Name to denote a non-logical variable.