具有副作用的謂詞

產生副作用的謂詞留下了純粹邏輯的境界。這些是例如：

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

副作用是在程式中無法解釋的現象。例如，刪除系統終端上的檔案或輸出。