object

# `difflist`

Difference list predicates.

Author: Paulo Moura
Version: 1.15
Date: 2019/1/3
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 and 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 and 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