Did you know ... | Search Documentation: |
Pack pha -- prolog/library/frozen.pl |
This module provides implementations of list predicates that work with lists whos tails are uninstantiated until unified. Implemented using delayed goals (freeze/2).
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(X, [One]).
The following predicates are exported, but not or incorrectly documented.