object

# difflist

> Difference list predicates.

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

compilation flags:
  `static, context_switching_calls`

implements:
  `public listp`
extends:
  `public compound`

## Public interface

### add/3

> Adds a term to the end of a difference list.

compilation flags:
  `static`
template:
  `add(Term,DiffList,NewDiffList)`
mode – number of proofs:
  `add(@term,+difference_list,-difference_list) – one`

### as_list/2

> Converts a difference list to a normal list.

compilation flags:
  `static`
template:
  `as_list(DiffList,List)`
mode – number of proofs:
  `as_list(+difference_list,-list) – one`

## Protected interface

(see related entities)

## Private predicates

(see related entities)

## Operators

### (none)

## Remarks

### (none)

## See also

- list
- list(Type)
- numberlist
- varlist