Title: Gleichheit in Prolog