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