Did you know ... | Search Documentation: |
Pack pac -- prolog/pac/basic.pl |
zip([a,b],[x,y], R)
, zip(A, X, R)
.The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.
This predicate is typically used to reason about Prolog conjunctions (disjunctions) as many operations are easier on lists than on binary trees over some operator.
The following predicates are exported, but not or incorrectly documented.