Changeset 4096 for trunk/library

Show
Ignore:
Timestamp:
02/16/08 04:29:57 (11 months ago)
Author:
pmoura
Message:

Clarify fail conditions for the "loop" library object predicates.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/library/loopp.lgt

    r4094 r4096  
    77        date is 2008/2/16, 
    88        comment is 'Loop control constructs protocol.']). 
    9  
    109 
    1110    :- public(whiledo/2). 
    … …  
    3433    :- mode(forto(+number, +number, @callable), zero_or_one). 
    3534    :- info(forto/3, [ 
    36         comment is 'Call Goal counting up from First to Last. Increment is 1. For convenience and clarity, First and Last can be arithmetic expressions.', 
     35        comment is 'Call Goal counting up from First to Last. Increment is 1. For convenience and clarity, First and Last can be arithmetic expressions. This predicate fails iff the Goal fails.', 
    3736        argnames is ['First', 'Last', 'Goal']]). 
    3837 
    … …  
    4140    :- mode(forto(@var, +number, +number, @callable), zero_or_one). 
    4241    :- info(forto/4, [ 
    43         comment is 'Call Goal counting up from First to Last and instantiating Count to each successive value. Increment is 1. For convenience and clarity, First and Last can be arithmetic expressions.', 
     42        comment is 'Call Goal counting up from First to Last and instantiating Count to each successive value. Increment is 1. For convenience and clarity, First and Last can be arithmetic expressions. This predicate fails iff the Goal fails.', 
    4443        argnames is ['Count', 'First', 'Last', 'Goal']]). 
    4544 
    … …  
    4847    :- mode(forto(@var, +number, +number, +number, @callable), zero_or_one). 
    4948    :- info(forto/5, [ 
    50         comment is 'Call Goal counting up from First to Last and instantiating Count to each successive value. For convenience and clarity, First, Last, and Increment can be arithmetic expressions. The absolute value of Increment is used.', 
     49        comment is 'Call Goal counting up from First to Last and instantiating Count to each successive value. For convenience and clarity, First, Last, and Increment can be arithmetic expressions. The absolute value of Increment is used. This predicate fails iff the Goal fails.', 
    5150        argnames is ['Count', 'First', 'Last', 'Increment', 'Goal']]). 
    5251 
    … …  
    5554    :- mode(fordownto(+number, +number, @callable), zero_or_one). 
    5655    :- info(fordownto/3, [ 
    57         comment is 'Call Goal counting down from First to Last. Decrement is 1. For convenience and clarity, First and Last can be arithmetic expressions.', 
     56        comment is 'Call Goal counting down from First to Last. Decrement is 1. For convenience and clarity, First and Last can be arithmetic expressions. This predicate fails iff the Goal fails.', 
    5857        argnames is ['First', 'Last', 'Goal']]). 
    5958 
    … …  
    6261    :- mode(fordownto(@var, +number, +number, @callable), zero_or_one). 
    6362    :- info(fordownto/4, [ 
    64         comment is 'Call Goal counting down from First to Last and instantiating Count to each successive value. Decrement is 1. For convenience and clarity, First and Last can be arithmetic expressions.', 
     63        comment is 'Call Goal counting down from First to Last and instantiating Count to each successive value. Decrement is 1. For convenience and clarity, First and Last can be arithmetic expressions. This predicate fails iff the Goal fails.', 
    6564        argnames is ['Count', 'First', 'Last', 'Goal']]). 
    6665 
    … …  
    6968    :- mode(fordownto(@var, +number, +number, +number, @callable), zero_or_one). 
    7069    :- info(fordownto/5, [ 
    71         comment is 'Call Goal counting down from First to Last and instantiating Count to each successive value. For convenience and clarity, First, Last, and Decrement can be arithmetic expressions. The absolute value of Decrement is used.', 
     70        comment is 'Call Goal counting down from First to Last and instantiating Count to each successive value. For convenience and clarity, First, Last, and Decrement can be arithmetic expressions. The absolute value of Decrement is used. This predicate fails iff the Goal fails.', 
    7271        argnames is ['Count', 'First', 'Last', 'Decrement', 'Goal']]). 
    7372