Did you know ... Search Documentation:
Pack pha -- prolog/library/frozen.pl
PublicShow source

This module provides implementations of list predicates that work with lists whos tails are uninstantiated until unified. Implemented using delayed goals (freeze/2).

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 member(?Elem, ?List)
True if Elem is a member of List. The SWI-Prolog definition differs from the classical one. Our definition avoids unpacking each list element twice and provides determinism on the last element. E.g. this is deterministic:
    member(X, [One]).
author
- Gertjan van Noord

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 map(Arg1, Arg2, Arg3)
 map(Arg1, Arg2, Arg3, Arg4)
 repeat(Arg1, Arg2)
 singleton(Arg1, Arg2)
 head(Arg1, Arg2)
 tail(Arg1, Arg2)
 decons(Arg1, Arg2, Arg3)
 cons(Arg1, Arg2, Arg3)
 empty(Arg1)