object

difflist

Difference list predicates.

author:
Paulo Moura
version:
1.7
date:
2012/4/25
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,+list,-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(+list,-list) – one

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)