object
list
¶
List predicates.
Author: Paulo Moura
Version: 2:22:1
Date: 2020-03-25
Compilation flags:
static, context_switching_calls
Remarks:
Portability notes: This object will use the backend Prolog system
length/2
,msort/2
, andsort/4
built-in predicates when available.
Inherited public predicates:
append/2 append/3 check/1 delete/3 delete_matches/3 depth/2 drop/3 empty/1 flatten/2 ground/1 hamming_distance/3 keysort/2 last/2 length/2 max/2 member/2 memberchk/2 min/2 msort/2 msort/3 new/1 nextto/3 nth0/3 nth0/4 nth1/3 nth1/4 occurs/2 partition/5 permutation/2 prefix/2 prefix/3 proper_prefix/2 proper_prefix/3 proper_suffix/2 proper_suffix/3 remove_duplicates/2 reverse/2 same_length/2 same_length/3 select/3 select/4 selectchk/3 selectchk/4 singletons/2 sort/2 sort/3 sort/4 split/4 sublist/2 subsequence/3 subsequence/4 substitute/4 subsumes/2 subterm/2 subtract/3 suffix/2 suffix/3 take/3 valid/1 variables/2 variant/2
Public predicates¶
as_difflist/2
¶
Converts a list to a difference list.
Compilation flags:
static
Template:
as_difflist(List,Diffist)
Mode and number of proofs:
as_difflist(+list,-difference_list)
- one
Protected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)