object
list¶
List predicates.
Author: Paulo Moura
Version: 2.22
Date: 2019/10/9
Compilation flags:
static, context_switching_callsRemarks:
Portability notes: This object will use the backend Prolog system length/2, msort/2, and sort/4 built-in predicates when available.
Public predicates¶
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 predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)