object

difflist

Difference list predicates.

Author: Paulo Moura
Version: 1.14
Date: 2018/7/11
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)