Availability::- use_module(library(jpl)).
(can be autoloaded)
jpl_array_to_terms(+JRef:jref,
-Terms:list(term))JRef should be a JPL reference to a Java array of
org.jpl7.Term instances (or ots subtypes); Terms will be a
list of the terms which the respective array elements represent.