**Author(s):** The CLIP Group.

**Version:** 1.9#237 (2003/12/22, 18:23:36 CET)

This module implements some kinds of lists of numbers.

`numlists`

)`numlists`

)- PREDICATE:
**get_primes/2:** -
**Usage:**`get_primes(N, Primes)`

*Description:*Computes the`N`

th first prime numbers in ascending order.*The following properties should hold at call time:*`N`

is an integer. (`basic_props:int/1`

)*The following properties should hold upon exit:*`Primes`

is a list of integers. (`numlists:intlist/1`

)

- REGTYPE:
**intlist/1:** -
**Usage:**`intlist(X)`

*Description:*`X`

is a list of integers.

- REGTYPE:
**numlist/1:** -
**Usage:**`numlist(X)`

*Description:*`X`

is a list of numbers.

- PREDICATE:
**sum_list/2:** -
**Usage:**`sum_list(List, N)`

*Description:*`N`

is the total sum of the elements of`List`

.*The following properties should hold at call time:*`List`

is a list of numbers. (`numlists:numlist/1`

)*The following properties should hold upon exit:*`N`

is a number. (`basic_props:num/1`

)

- PREDICATE:
**sum_list/3:** -
**Usage:**`sum_list(List, N0, N)`

*Description:*`N`

is the total sum of the elements of`List`

plus`N0`

.*The following properties should hold at call time:*`List`

is a list of numbers. (`numlists:numlist/1`

)`N0`

is a number. (`basic_props:num/1`

)*The following properties should hold upon exit:*`N`

is a number. (`basic_props:num/1`

)

- PREDICATE:
**sum_list_of_lists/2:** -
**Usage:**`sum_list_of_lists(Lists, N)`

*Description:*`N`

is the total sum of the elements of the lists of`Lists`

.*The following properties should hold at call time:*`List`

is a list of`numlist`

s. (`basic_props:list/2`

)*The following properties should hold upon exit:*`N`

is a number. (`basic_props:num/1`

)

- PREDICATE:
**sum_list_of_lists/3:** -
**Usage:**`sum_list_of_lists(Lists, N0, N)`

*Description:*`N`

is the total sum of the elements of the lists of`Lists`

plus`N0`

.*The following properties should hold at call time:*`List`

is a list of`numlist`

s. (`basic_props:list/2`

)`N0`

is a number. (`basic_props:num/1`

)*The following properties should hold upon exit:*`N`

is a number. (`basic_props:num/1`

)

Go to the first, previous, next, last section, table of contents.