Problem
Write a PROLOG program which checks if a list contains another as a sublist. The program returns YES for queries of the following kind: ?-sub list ([1, 5, 2, 7, 3, 10], [5, 2, 7]). What is the intended meaning of the following queries? - sublist ([1, 5, 2, 7, 3, 10], X). ?- sublist (X, [5, 2, 7]). ?-sublist (X, Y). Does the behavior of the PROLOG interpreter correspond to the expected meaning if these queries are submitted for evaluation?