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


Higher-order predicates

Author(s): Daniel Cabeza, Manuel Carro.

Version: 1.8#1 (2002/5/27, 19:57:48 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, between(1,6))
  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.