object

# list

> List predicates.

author:
  `Paulo Moura`
version:
  `2.14`
date:
  `2018/3/13`

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 – number of proofs:
  `as_difflist(+list,-difference_list) – one`

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

### (none)

## See also

- list(Type)
- numberlist
- varlist
- difflist