object

list

List predicates.

Author: Paulo Moura
Version: 2.16
Date: 2019/1/8
Compilation flags:
static, context_switching_calls
Implements:
public listp
Extends:
public compound

Public interface

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 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.