Definitely not (,). You can use comma but it gets confusing to read because comma is used everywhere in prolog code. Most particularly, they are part of terms like something(A,B,C) and these are not pairs. So it’s convenient to write something(A, f-g, D).