Define the sublist predicate in a direct fashion without using append. Write in PROLOG a program that computes the length (understood as the number of elements) of a list and returns this value in numeric form. (Hint: consider an inductive definition of length and use the is operator to increment the value in the inductive case.)