Go to the first, previous, next, last section, table of contents.


Higher-order predicates

Author(s): Daniel Cabeza, Manuel Carro.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.7#208 (2002/4/23, 19:9:14 CEST)

This library implements a few basic higher-order predicates. These add functionality to the basic higher-order functionality of Ciao. Examples of the latter are: Using pred(1):

  list(L, functor(_,2))
  list(L, >(0))

Using pred(2):

Usage and interface (hiordlib)

Documentation on exports (hiordlib)

PREDICATE: map/3:

Meta-predicate with arguments: map(?,pred(2),?).

Usage: map(LList, Op, RList)

PREDICATE: foldl/4:

Meta-predicate with arguments: foldl(?,?,pred(3),?).

Usage: foldl(List, Seed, Op, Result)

PREDICATE: minimum/3:

Meta-predicate with arguments: minimum(?,pred(2),?).

Usage: minimum(?List, +SmallerThan, ?Minimum)


Go to the first, previous, next, last section, table of contents.