具有副作用的谓词

产生副作用的谓词留下了纯粹逻辑的境界。这些是例如：

• writeq/1
• read/1
• format/2

副作用是在程序中无法解释的现象。例如，删除系统终端上的文件或输出。