Some Higher-Order Predicates

Author(s): Daniel Cabeza.

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 1.5#65 (2000/3/15, 22:9:28 CET)

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 (hiord)
• Documentation on exports (hiord)

Usage and interface (hiord)

Documentation on exports (hiord)

PREDICATE: map/3:

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

Usage: map(LList,Op,RList)

• Description: Examples of use:

    map([1,3,2], arg(f(a,b,c,d)), [a,c,b]) or
    map([1,3,2], nth([a,b,c,d]), [a,c,b])
    map(["D","C"], append("."), ["D.","C."])
  

PREDICATE: foldl/4:

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

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

• Description: Example of use:

  ?- foldl(["daniel","cabeza","gras"], "", 
           (:(X,Y,Z) :- append(X, " "||Y, Z)), R).
  
  R = "daniel cabeza gras " ? 
  

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