> I just scanned Chapter 8, Higher Order... what is the meaning of the question marks here? I could find no reference. > > :- pred ?(list(ta_rule(TKNS)), TKNS, TKNS). ‘?’ just denotes the name of the predicate. If one would prefer, one could replace ‘?’ with, for example, ‘optional’.