|
Revision 4662, 1.2 KB
(checked in by pmoura, 6 days ago)
|
|
Updated copyright notice.
|
-
Property svn:eol-style set to
native
-
Property svn:keywords set to
Author Date Id Revision
|
| Line | |
|---|
| 1 | ================================================================ |
|---|
| 2 | Logtalk - Open source object-oriented logic programming language |
|---|
| 3 | Release 2.35.0 |
|---|
| 4 | |
|---|
| 5 | Copyright (c) 1998-2009 Paulo Moura. All Rights Reserved. |
|---|
| 6 | Logtalk is free software. You can redistribute it and/or modify |
|---|
| 7 | it under the terms of the "Artistic License 2.0" as published by |
|---|
| 8 | The Perl Foundation. Consult the "LICENSE.txt" file for details. |
|---|
| 9 | ================================================================ |
|---|
| 10 | |
|---|
| 11 | |
|---|
| 12 | % start by compiling and loading the Prolog module files as objects: |
|---|
| 13 | |
|---|
| 14 | | ?- logtalk_load(modules(loader)). |
|---|
| 15 | ... |
|---|
| 16 | |
|---|
| 17 | |
|---|
| 18 | % call one of the module exported predicates using message sending: |
|---|
| 19 | |
|---|
| 20 | | ?- test::names. |
|---|
| 21 | |
|---|
| 22 | paulo |
|---|
| 23 | carlos |
|---|
| 24 | helena |
|---|
| 25 | yes |
|---|
| 26 | |
|---|
| 27 | |
|---|
| 28 | % same goal as above but the call is made using a meta-predicate |
|---|
| 29 | % imported from other module: |
|---|
| 30 | |
|---|
| 31 | | ?- test::test. |
|---|
| 32 | |
|---|
| 33 | paulo |
|---|
| 34 | carlos |
|---|
| 35 | helena |
|---|
| 36 | yes |
|---|
| 37 | |
|---|
| 38 | |
|---|
| 39 | % test the compilation of the module export/1 directive; module |
|---|
| 40 | % exported predicates become public predicates: |
|---|
| 41 | |
|---|
| 42 | | ?- exports::current_predicate(Pred). |
|---|
| 43 | |
|---|
| 44 | Pred = p/1 |
|---|
| 45 | yes |
|---|
| 46 | |
|---|
| 47 | | ?- exports::predicate_property(p(_), Prop). |
|---|
| 48 | |
|---|
| 49 | Prop = public ; |
|---|
| 50 | Prop = static ; |
|---|
| 51 | Prop = declared_in(exports) ; |
|---|
| 52 | Prop = defined_in(exports) |
|---|
| 53 | yes |
|---|
| 54 | |
|---|
| 55 | |
|---|
| 56 | % call the module exported/public predicate using message sending: |
|---|
| 57 | |
|---|
| 58 | | ?- exports::p(N). |
|---|
| 59 | |
|---|
| 60 | N = 1 ; |
|---|
| 61 | N = 2 ; |
|---|
| 62 | N = 3 |
|---|
| 63 | yes |
|---|
