[eclipse 1]: make_array(a(2)), make_local_array(b(2,3,4), real). yes. [eclipse 2]: current_array(a(Size), [Type,Vis|_]). Size = 2 Type = prolog Vis = global yes. [eclipse 3]: current_array(Array, Props). Array = a(2) Props = [prolog, global] More? (;) Array = b(2, 3, 4) Props = [real, local] More? (;) no (more) solution. Error: current_array("a", L). (Error 5). current_array(a, 9). (Error 5).