root/trunk/examples/modules/test.lgt
| Revision 4601, 207 bytes (checked in by pmoura, 7 weeks ago) | |
|---|---|
|
|
| Line | |
|---|---|
| 1 | |
| 2 | :- module(test, [test/0, names/0]). |
| 3 | |
| 4 | :- use_module(list, [contained/2]). |
| 5 | :- use_module(meta, [meta/1]). |
| 6 | |
| 7 | names :- |
| 8 | contained(P, [paulo, carlos, helena]), |
| 9 | write(P), nl, |
| 10 | fail. |
| 11 | names. |
| 12 | |
| 13 | test :- |
| 14 | meta(names). |
Note: See TracBrowser
for help on using the browser.
