determ

is_list

ILIST IN

(i)

True is INPUT is a LIST

determ

is_list

SLIST IN

(i)

True is INPUT is a LIST

nondeterm

list_append

ILIST IN,
ILIST TEMP,
ILIST OUT

(i,i,o),(i,o,i),(o,i,i)

Appends list to the end of the another list. nondeterministically returns list which constructs end of the given list.

nondeterm

list_append

SLIST IN,
SLIST TEMP,
SLIST OUT

(i,i,o),(i,o,i),(o,i,i)

Appends list to the end of the another list. nondeterministically returns list which constructs end of the given list.

determ

list_common

ILIST ONE,
ILIST TWO,
ILIST COMMON

(i,i,o)

Return list which has common items between 2 lists

determ

list_common

SLIST ONE,
SLIST TWO,
SLIST COMMON

(i,i,o)

Return list which has common items between 2 lists

nondeterm

list_delete

ILIST IN,
ILIST OUT

(i,o)

Deletes first member of the LIST

nondeterm

list_delete

SLIST IN,
SLIST OUT

(i,o)

Deletes first member of the LIST

determ

list_length

ILIST IN,
INTEGER LENGTH

(i,o)

Returns lengths of the LIST. Supports any LIST domain

determ

list_length

SLIST IN,
INTEGER LENGTH

(i,o)

Returns lengths of the LIST. Supports any LIST domain

nondeterm

list_member

ILIST IN,
INTEGER MEMBER

(i,o),(i,i)

Returns member of the LIST or test if ELEMENT is member of the list Supports any LIST domain Note - nondeterministic predicate.

nondeterm

list_member

SLIST IN,
STRING MEMBER

(i,o),(i,i)

Returns member of the LIST or test if ELEMENT is member of the list Supports any LIST domain Note - nondeterministic predicate.

nondeterm

list_permutate

ILIST IN,
ILIST OUT

(i,o)

Non-deterministically permutate list

nondeterm

list_permutate

SLIST IN,
SLIST OUT

(i,o)

Non-deterministically permutate list

nondeterm

list_revert

ILIST IN,
ILIST OUT

(i,o)

Returns reverted LIST

nondeterm

list_revert

SLIST IN,
SLIST OUT

(i,o)

Returns reverted LIST

determ

list_shuffle

SLIST IN,
SLIST OUT

(i,o)

randomly shuffle any list

determ

list_subtract

ILIST IN,
ILIST OUT,
ILIST RESULT

(i,i,o)

Subtract list from the given list

determ

list_subtract

SLIST IN,
SLIST OUT,
SLIST RESULT

(i,i,o)

Subtract list from the given list