root/trunk/examples/viewpoints/SCRIPT.txt

================================================================
Logtalk - Open source object-oriented logic programming language
Release 2.35.0

Copyright (c) 1998-2009 Paulo Moura.        All Rights Reserved.
Logtalk is free software.  You can redistribute it and/or modify
it under the terms of the "Artistic License 2.0" as published by 
The Perl Foundation. Consult the "LICENSE.txt" file for details.
================================================================


% start by loading the example:

| ?- logtalk_load(viewpoints(loader)).
...


% we can start by asking joe its age:

| ?- joePerson::age(Age).

Age = 30
yes


% the same question could be made via any of its viewpoints:

| ?- joeSportsman::age(Age).

Age = 30
yes


% now let's tell joe to get older:

| ?- joePerson::getOlder.

yes


% we can verify the effect of the above message from any of the viewpoints:

| ?- joeChessPlayer::age(Age).

Age = 31
yes


% because the growOld/0 and the age/1 predicates are implemented using 
% property sharing, we can send the getOlder/0 message to any viewpoint:

| ?- joeEmployee::getOlder.

yes


% we can check this by asking joe its age:


| ?- joePerson::age(Age).

Age = 32
yes


% as you can see, although the modification message have been sent to a 
% descendant, its the predicate age/1 in the parent that got updated


% to illustrate value sharing we use a couple of predicates, score/1 and
% setScore/0, defined in joePerson:


| ?- joePerson::score(Score).

Score = 0
yes


% initially, score/1 is only defined for joePerson, so every descendant 
% or viewpoint will share its value/definition:

| ?- joeEmployee::score(Score).

Score = 0
yes


% but if we decide to increment the counter by sending the setScore/0 
% message to a descendant:

| ?- joeChessPlayer::(setScore(2200), score(Score)).

Score = 2200
yes


% then the descendant will now have a local definition for counter/1,
% independent of the definition in its parent, joePerson:

| ?- joePerson::score(Score).

Score = 0
yes


% the other descendants/viewpoints will continue to share the definition 
% in joePerson:

| ?- joeSportsman::score(Score).

Score = 0
yes