object

difflist

Difference list predicates.

Author: Paulo Moura
Version: 1:21:0
Date: 2020-02-04
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

(no local declarations; see entity ancestors if any)

Private predicates

(no local declarations; see entity ancestors if any)