¹⁴One subtlety here is that the comma is defined in Prolog as a right-associative infix operator. That means that a sequence of items separated by commas, such as a, b, c, d is to be analysed as if it were written (a, (b, (c, d))).