Prolog 中的逻辑运算符

本节介绍这两个运算符的描述。它接受参数，这些参数称为项。

非运算符

为了提供否定，not/1 前缀运算符可以放在任何目标之前。如果原始目标失败，则否定目标成功。如果原始目标成功，则否定目标失败。

以下示例解释了 not/1 的用法。假设数据库中包含单个子句。

例如

析取运算符

';/2' 是析取运算符。它是一个中缀运算符，表示“或”。它接受两个参数，两个参数都是目标。如果 Goal1 或 Goal2 成功，则 Goal1;Goal2 成功。

例如