Write a PROLOG program which checks if a list contains another as a . 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? ?- ([1, 5, 2, 7, 3, 10], X). ?- (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?

. .

The post Does the behavior of the PROLOG interpreter correspond to the expected meaning if these queries are submitted for evaluation? appeared first on Unified Papers.