|
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. |
|---|