object
difflist¶
Difference list predicates.
Author: Paulo Moura
Version: 1.17
Date: 2019/3/15
Compilation flags:
static, context_switching_callsPublic interface¶
add/3¶
Adds a term to the end of a difference list.
Compilation flags:
staticTemplate:
add(Term,DiffList,NewDiffList)Mode and number of proofs:
add(@term,+difference_list,-difference_list) - oneas_list/2¶
Converts a difference list to a normal list.
Compilation flags:
staticTemplate:
as_list(DiffList,List)Mode and number of proofs:
as_list(+difference_list,-list) - oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)