object

# `difflist`

Difference list predicates.

Author: Paulo Moura
Version: 1.19
Date: 2019/10/9
Compilation flags:
`static, context_switching_calls`
Implements:
`public` listp
Extends:
`public` compound
Uses:
list
Remarks:
(none)

- Public predicates

  - `add/3`

  - `as_list/2`

- Protected predicates

- Private predicates

- Operators

## Public predicates

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

Returns a list with the elements of the difference list.

Compilation flags:
`static`
Template:
`as_list(DiffList,List)`
Mode and number of proofs:
`as_list(@difference_list,-list)` - `one`

## Protected predicates

(see entity ancestors)

## Private predicates

(see entity ancestors)

## Operators

(none)

See also

list, list(Type), numberlist, varlist