literals

All literals of this Clause: its Clause.head (if any, i.e. if this is a Rule), followed by every goal in Clause.bodyItems, each normalised to a Struct via asLiteral.