Since the SICStus package contains the Quintus one, the syntax differences are the same, see Section .