object

# `list`

List predicates.

Author: Paulo Moura
Version: 2.21
Date: 2019/6/4
Compilation flags:
`static, context_switching_calls`
Implements:
`public` listp
Extends:
`public` compound
Remarks:

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

- Public predicates

  - `as_difflist/2`

- Protected predicates

- Private predicates

- Operators

## Public predicates

### `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 predicates

(see entity ancestors)

## Private predicates

(see entity ancestors)

## Operators

(none)

See also

list(Type), numberlist, varlist, difflist