object

# list

> List predicates.

author:
  `Paulo Moura`
version:
  `2.6`
date:
  `2016/2/24`

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,-list) – one`

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

### (none)

## See also

### (none)