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