:- op(600,xfy,'::').    % tipagem  classe::instancia
?- [nllex].

%?- [yalg].
%?- [jjgdef].