Describing basic relations in prolog 🍞