root/trunk/library/term_expansionp.lgt

Revision 2648, 370 bytes (checked in by pmoura, 3 years ago)

Added a "term_expansionp" protocol to the Logtalk standard library.

  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1
2:- protocol(term_expansionp).
3
4    :- info([
5        version is 1.0,
6        author is 'Paulo Moura',
7        date is 2006/2/5,
8        comment is 'Term expansion protocol.']).
9
10    :- public(term_expansion/2).
11    :- mode(term_expansion(?term, ?term), zero_or_more).
12    :- info(term_expansion/2,
13        [comment is 'Expands a term into a new term.',
14         argnames is ['Term', 'Expansion']]).
15
16:- end_protocol.
Note: See TracBrowser for help on using the browser.