cl:- current_key(A,_),recorded(A,_,H),erase(H),fail.
sh:- current_key(A,_),recorded(A,X,_),write(A), write(X),write(' '),fail.

:- op(600,xfy,'::').    % tipagem  classe::instancia

?- [nllex].
?- [yalg].
?- [jjgdef].

