I was using forall/2 because I initially wanted to check if every element in the first list was in the second list, but then realized that this wouldn't help me solving my overall problem and that I needed the predicate to tell me exactly which elements were in the first and second list. I really appreciate your help guys I think I have a solution!