15、Prolog 编程：内置谓词与实例应用

Prolog 编程：内置谓词与实例应用

1. Prolog 运行监控的内置谓词

在 Prolog 编程中，有一些内置谓词能帮助我们在程序运行时进行监控。不过，标准 Prolog 并未规定固定的此类谓词集合，下面介绍的这些仅具有一定代表性。

1.1 谓词及其功能

谓词	功能
trace	开启详尽跟踪模式，之后能看到程序在四个主要端口生成的每个目标。
notrace	停止详尽跟踪，但因 spy 点产生的跟踪会继续。
spy P	用于对涉及特定谓词的目标给予特别关注，通过设置 spy 点实现。参数 P 可以是以下几种形式：
- 原子 ：会在所有使用该原子的谓词上设置 spy 点，无论参数数量。例如 spy sort 会在所有 sort 谓词的子句上设置 spy 点。
- Name/Arity 形式的结构 <