Prolog Language Extra-logical Predicates Predicates with side effects


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.