Changeset 453

Show
Ignore:
Timestamp:
04/25/03 09:00:49 (6 years ago)
Author:
pmoura
Message:

Correct mode declarations for predicates delete/3 and delete_matches/3.

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • trunk/library/listp.lgt

    r365 r453  
    44 
    55    :- info([ 
    6         version is 1.0, 
     6        version is 1.1, 
    77        author is 'Paulo Moura', 
    8         date is 2000/7/24, 
     8        date is 2003/4/17, 
    99        comment is 'List protocol.']). 
    1010 
     
    2121    :- public(delete/3). 
    2222 
    23     :- mode(delete(+list, @term, ?list), one). 
     23    :- mode(delete(@list, @term, ?list), one). 
    2424 
    2525    :- info(delete/3, 
     
    3030    :- public(delete_matches/3). 
    3131 
    32     :- mode(delete_matches(+list, @term, ?list), one). 
     32    :- mode(delete_matches(@list, @term, ?list), one). 
    3333 
    3434    :- info(delete_matches/3,