object
list¶
List predicates.
Author: Paulo Moura
Version: 2.19
Date: 2019/3/18
Compilation flags:
static, context_switching_callsPublic interface¶
as_difflist/2¶
Converts a list to a difference list.
Compilation flags:
staticTemplate:
as_difflist(List,Diffist)Mode and number of proofs:
as_difflist(+list,-difference_list) - oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
Portability notes: This object will use the backend Prolog system length/2 and msort/2 built-in predicates when avaialble.
See also