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:
Remarks:
(none)

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)