Matriz de objetivación basada en el término

Tengo esto para la matriz:

ary1d_new(Size,Sym,ArySym,Ary):- 
 functor(Ary,ArySym,Size), 
 forall(arg(X,Ary,_), nb_setarg(X,Ary,Sym)).
ary1d_get(Pos,Ary,Val):- arg(Pos,Ary,Val).
ary1d_set(Pos,Ary,Val):- nb_setarg(Pos,Ary,Val).

tratando de convertirlo en un objeto logtalk, pero no me está sucediendo

:- object(array, instantiates(array)).
:- initialization(init).
:- private(init/0).
:- public(ary/1).
:- dynamic(ary/1).
 ary(_).
:- public([new1d/2, set1d/2, get1d/2]).
 new1d(Size,Sym):- 
 functor(Ary,ary,Size), 
 forall(arg(X,Ary,_), nb_setarg(X,Ary,Sym)),writeln(Ary).
 get1d(Pos,Val):- arg(Pos,::ary,Val).
 set1d(Pos,Val):- nb_setarg(Pos,::ary,Val).
 init:- true.
:- end_object.
:- object(g, instantiates(array)).
:- end_object.
?- g::new1d(5,0).
ary(0,0,0,0,0)
true.
?- g::set1d(2,7).
false.
?- g::get1d(2,D).
false.

Cuál es la manera correcta? funtor vs::ary me confunde

Solución del problema

Tenga en cuenta que solo puede llamar a los nb_setarg/3argumentos de términos compuestos. Una posible alternativa podría ser utilizar un objeto paramétrico:

:- object(array(_Array_)).
:- public(new/2).
 new(Size, Value):-
 functor(_Array_, a, Size),
 forall(
 arg(Arg, _Array_, _),
 nb_setarg(Arg, _Array_, Value)
 ).
:- public(get/2).
 get(Arg, Value):-
 arg(Arg, _Array_, Value).
:- public(set/2).
 set(Arg, Value):-
 nb_setarg(Arg, _Array_, Value).
:- end_object.

Una consulta de ejemplo sería:

?- {arrays}.
% [.../arrays.lgt loaded ]
% (0 warnings)
true.
?- array(Array)::(new(5,0), set(2, 7), get(2, Value)).
Array = a(0, 7, 0, 0, 0),
Value = 7.

Tenga en cuenta que la variable de _Array_ parámetro es una variable lógica. Por lo tanto, no sobrevive de consulta de nivel superior a consulta de nivel superior:

?- array(Array)::(new(5,0), set(2, 7), get(2, Value)).
Array = a(0, 7, 0, 0, 0),
Value = 7.
?- array(Array)::new(5,0).
Array = a(0, 0, 0, 0, 0).
?- array(Array)::set(2, 7).
ERROR: Arguments are not sufficiently instantiated