Engineering
Write the rules for a predicate insert (X, L, L1), which succeeds if list L1 is identical to the sorted list L with X inserted at the correct place. Assume that L is already sorted The following query shows an example of using this predicate ?- insert (5, [1,3,4,7], Ll). L1 = [1,3,4,5,7]