In this chapter we introduce some useful predicates that are supplied with the system. These predicates are available only when imported them from (or explicitly consult) the corresponding modules.
