Predicates that produce side effects leave the realm of pure logic. These are for example:
writeq/1read/1format/2Side effects are phenomena that cannot be reasoned about within the program. For example, deletion of a file or output on the system terminal.