assertz / retractall runs on subobject, but the predicate is only accessible via Self which gets a warning. How to handle this correctly?

[schwidom]

Hi, I have the following code:

main.pl:

:- module( main,[]).

:- use_module(library(logtalk)).

:- logtalk_load(test001).

test001.lgt:

:- object( o001).

 :- dynamic.

 :- dynamic( p/0).
 :- public( p/0).

 :- public( init/0).

 init :- true
  , ::retractall( p)
  , ::assertz( p)
  , ( p -> writeln( p-found) ; writeln( p-not-found) )
  , self(Self), ( Self::p -> writeln( self-p-found) ; writeln( self-p-not-found) )
  , this(This), ( This::p -> writeln( this-p-found) ; writeln( this-p-not-found) )
 .

:- end_object.

:- object( o002, extends( o001)).

 :- public( init/0).

 init :- ^^init.

:- end_object.

and this is the output:

$ swipl -s main.pl 
reading ~/.swiplrc 
*     Suspicious call: A::p instead of ::p
*       while compiling object o001
*       in file /.../test001.lgt between lines 11-17
*     
*     Suspicious call: A::p instead of p
*       while compiling object o001
*       in file /.../005/test001.lgt between lines 11-17
*     
% [ /.../test001.lgt loaded ]
% 2 compilation warnings
Welcome to SWI-Prolog (threaded, 64 bits, version 9.2.2) ...

?- o001::p.
false.

?- o001::init.
p-found
self-p-found
this-p-found
true.

?- o001::p.
true.

% so far so good

$ swipl -s main.pl 
...


?- o002::p.
false.

?- o002::init.
p-not-found
self-p-found
this-p-not-found
true.

?- o002::p.
true.

?- o001::p.
false.

In the second case the predicates gets written to the subobject, which I think is ok, but I cannot access it directly but only via Self::p. But the compiler complains use of Self::p.

How do I handle this case correctly?

Thanks in Advance,
Frank Schwidom

[schwidom]

::p is the solution

[pmoura]

You're using the pack version of Logtalk. But the pack is only meant for deploying applications, not for development. Using one of the Logtalk installers provides a much better experience for development.

Also preferable to use the SWI-Prolog integration script, swilgt, instead of the use_module/1 directive in your main.pl file, which will no longer be required as you can simply use:

$ swilgt -g "logtalk_load(test001)"

[schwidom]

Thank you.