protocol
Abstract interface to Java utility predicates.
Paulo Moura
1.0
2016/9/21
static
(no dependencies on other files)
Returns an opaque term that represents the Java value true.
static
true(Reference)
true(--var) – one
Returns an opaque term that represents the Java value false.
static
false(Reference)
false(--var) – one
Returns an opaque term that represents the Java value void.
static
void(Reference)
void(--var) – one
Returns an opaque term that represents the Java value null.
static
null(Reference)
null(--var) – one
True when the argument is the Java value true. Fails if the argument is not instantiated.
static
is_true(Reference)
is_true(++ground) – zero_or_one
True when the argument is the Java value false. Fails if the argument is not instantiated.
static
is_false(Reference)
is_false(++ground) – zero_or_one
True when the argument is the Java value void. Fails if the argument is not instantiated.
static
is_void(Reference)
is_void(++ground) – zero_or_one
True when the argument is the Java value null. Fails if the argument is not instantiated.
static
is_null(Reference)
is_null(++ground) – zero_or_one
Converts between an array and a list.
static
array_list(Array,List)
array_list(+array,-list) – one
array_list(-array,+list) – one
Enumerates, by backtracking, all iterator elements.
static
iterator_element(Iterator,Element)
iterator_element(+iterator,-element) – zero_or_more
(none)
(none)