object

difflist

Difference list predicates.

Author: Paulo Moura
Version: 1.17
Date: 2019/3/15
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

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 predicates

(see entity ancestors)

Private predicates

(see entity ancestors)