Longest common subsequence for Prolog