object

list

List predicates.

author:
Paulo Moura
version:
2.5
date:
2013/4/7
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 – number of proofs:
as_difflist(+list,-list) – one

Protected interface

(see related entities)

Private predicates

(see related entities)

Operators

(none)

Remarks

(none)