Question

Give the following predicates:

A) precede_list (X, Y) is true when the list X precedes Y list. Example:

?-precede_list ([1,2], [1, 2, 3]).
Yes

B) proceed_list (X, Y) is true when the X-list following the CC list. Example:

?-procede_list ([1,2], [2]).
Yes

C) included_list (X, Y) is true when X is a non-empty sub-list of CC list. Example:

?-included_list ([1,2], [0, 1, 2, 3]).
Yes

D) common_list (X, Y) is true when the two lists have at least one common element. Example:

?-common_list ([1,2, 3], [0, 3, 4]).
Yes

E) pair_list (X, Y) in a computer returns to the data pairs of X List. Example:

?-pair_list ([1,2, 3, 4, 5, 6], [[1, 2], [3, 4], [5, 6]]).
Yes