object

# `list`

List predicates.

Author: Paulo Moura
Version: 2.19
Date: 2019/3/18
Compilation flags:
`static, context_switching_calls`
Implements:
`public` listp
Extends:
`public` compound

## Public interface

### `as_difflist/2`

Converts a list to a difference list.

Compilation flags:
`static`
Template:
`as_difflist(List,Diffist)`
Mode and number of proofs:
`as_difflist(+list,-difference_list)` - `one`

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

(none)

## Remarks

- Portability notes: This object will use the backend Prolog system length/2 and msort/2 built-in predicates when avaialble.

See also

list(Type), numberlist, varlist, difflist