title: Reversing Part of a List in Prolog
body: <p>My goal for this Prolog function is as follows:</p>
  
  <p>Given two lists, x and y, return true if y can be formed from x by reversing a contiguous part of list x. </p>
  
  <p>For example, if the input is x = [1, 3, 2, 4], y = [1, 2, 3, 4], the result should be "true" because we can reverse the second and third elements of x to get y.</p>
  
  <p>I really have no idea, and I need some help!</p>