Prolog带有副作用的谓词

示例

产生副作用的谓词离开了纯逻辑领域。例如：

• writeq/1

• read/1

• format/2

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