在逻辑语句中使用Prolog中的'not‘
在逻辑语句中使用Prolog中的'not'是为了表示否定。'not'是Prolog中的一个内置谓词，它的作用是对一个目标进行否定，即如果目标为真，则'not'返回假；如果目标为假，则'not'返回真。
在Prolog中，'not'可以用于逻辑语句的条件判断和规则定义中。当我们需要判断某个条件是否不成立时，可以使用'not'来对条件进行否定。
以下是一个示例：
likes(john, pizza).
likes(mary, sushi).
% 判断某人不喜欢披萨
not_likes(john, pizza) :- not(likes(john, pizza)).
% 查询某人不喜欢披萨
?- not_likes(john, pizza).
true.在上面的例子中，我们定义了两个人的喜好关系，然后使用'not'谓词定义了一个规则来判断某人是否不喜欢披萨。最后，我们通过查询来验证这个规则。
在实际应用中，'not'可以用于解决逻辑推理、约束求解、知识推理等问题。它的使用可以帮助我们更好地描述和处理复杂的逻辑关系。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云官网：https://cloud.tencent.com/
- 云服务器（CVM）：https://cloud.tencent.com/product/cvm
- 云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
- 人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
- 云存储（COS）：https://cloud.tencent.com/product/cos
- 区块链服务（TBC）：https://cloud.tencent.com/product/tbc
- 腾讯云元宇宙：https://cloud.tencent.com/solution/virtual-universe
相关·内容
我正在用Prolog处理一个条件，但是not运算符没有按预期工作。我在这里的http://www.cs.trincoll.edu/~ram/cpsc352/notes/prolog/factsrules.html示例中使用了not 我有以下声明。我想要的是让is_not_immune_to返回结果，但是not似乎在这里不起作用。在没有not的情况下，它可以正常工作，并返回口袋妖怪是否免疫。/
浏览 48提问于2020-04-08得票数 0
回答已采纳
1回答
并发并行逻辑编程
、、、、
在Prolog艺术介绍中，斯特林和夏皮罗将并行性、并发性和逻辑编程的讨论推迟到另一本书。我的问题是，是否有这样的资源：
并行计算机的前景，加上逻辑编程模型中似乎可用的并行性，导致了无数次尝试，这些尝试仍在进行中，以并行方式执行Prolog，并根据逻辑编程计算模型设计新的并发编程语言。然而，这是另一本书( Prolog<
浏览 2提问于2014-03-07得票数 0
回答已采纳
1回答
我没有太多关于如何编程的问题，而是我正在寻找一种似乎在任何地方都找不到的特定编程语言的信息。这似乎在我正在看的几篇论文中被引用了。该语言的名称是"NeuPro“-它将用于神经网络的工作，其语法似乎与prolog非常相似。无论如何，如果有人能提供一些参考资料，我会很高兴。
浏览 0提问于2009-10-02得票数 3
回答已采纳
我正在尝试理解如何翻译prolog规则brother(n,n).
到一阶逻辑。∀x,y(brother(x,y) -> brother(g(x), g(y))是一个正确的答案吗？
浏览 0提问于2015-11-11得票数 1
1回答
我有一组一阶逻辑的真语句和条件语句，我想用prolog来解决这些问题。然而，我很难很好地表达我的事实和条件。以上是一个愚蠢的例子，我对逻辑推理很感兴趣。我对直接翻译成prolog很感兴趣，这样我们就可以开始演绎了。以下是我的尝试：/* I can't seem to find a not operator, so I'll use !*/
!Dr
浏览 4提问于2013-08-19得票数 1
这个语句是否被认为是prolog中的if else语句，因为我在prolog if语句中的理解应该是这样的。( condition -> then_clause；else_clause )使用swish prolog
浏览 0提问于2020-10-21得票数 1
1回答
我一直试图适应Prolog和霍恩条款，但从形式逻辑的转变仍然让人感到尴尬和被迫。我知道以标准的形式拥有一切都有好处，但是：
另外，霍恩条款的非明显优势究竟是什么？
浏览 3提问于2012-11-26得票数 7
回答已采纳
2回答
我想在Prolog中使用DCG解析一个逻辑表达式。
逻辑术语表示为列表，例如['x','&&','y']表示为x ∧ y，结果应该是解析树and(X,Y) ( X和Y是未分配的Prolog变量)。但是，我能否统一地用Prolog变量替换这个术语中的逻辑变量呢？我知道谓词term_to_atom (它是作为的解决方案提出<em
浏览 4提问于2014-11-18得票数 6
回答已采纳
否定作为失败通常被认为是不纯洁的。失败时否定所需的Prolog解释器必须实现SLDNF，这是SLD的一个扩展。X \= Y :- \+ X = Y.
是否可以将(\=)/2实现为纯谓词？只使用纯Prolog，即只使用一阶喇叭子句？
浏览 3提问于2020-12-18得票数 3
回答已采纳
1回答
我对约束逻辑编程很陌生，我想知道如何使用clpfd在prolog中建立一个12x12矩阵。我正在使用swi prolog ide。
浏览 0提问于2016-04-03得票数 1
回答已采纳
以下prolog逻辑memberd(X, [Y| T]) :- dif(X,Y), memberd(X, T).?是否有prolog逻辑可以用于生成相同的结果，而无需使用()、或dif()、函数或加载的prolog库中的任何内容。只是用纯粹的逻辑？
浏览 1提问于2020-04-14得票数 0
我似乎无法理解Prolog到底是如何工作的。我非常习惯于其他编程语言，如Java和Python，但是Prolog似乎非常不同，因为它是基于一组逻辑语句的。如果有人能向我解释我会如何处理这样的情况，我会得到一套规则，例如likes(mary,adam).likes(jack,destiny我想知道如何看谁是最受欢迎的人(在这个例子中，adam = 3)，我会怎么做呢？
浏览 4提问于2021-03-28得票数 1
回答已采纳
现在，我感兴趣的是证明如果H和K是子群，那么H与K相交是一个子群。我的证明建立在构造关系(==H)的基础上，以便在程序中，我将hg和kg表示为H和K。H相交K为hkg。如
浏览 8提问于2020-04-06得票数 0
有人能解释一下Prolog关于断言和撤回的逻辑观点吗？
例如，在下面的代码中，在第一次运行中，Prolog返回true，在后续运行中返回false。我不知道为什么由于Prolog逻辑视图(当asserta(nextBound(100))满足时)，nice(X)在启动时仍然与值冻结，因此这个更改应该被忽略，nextbound(100)必须是假的。
浏览 1提问于2015-01-23得票数 5
回答已采纳
一般说来，每一种正在使用的语言都因其优点而被使用。什么样的一般情况/类别的问题，可以更有效地使用Prolog比任何其他语言？
浏览 2提问于2009-10-03得票数 8
回答已采纳
我是个prolog初学者。我非常感谢对编译这个例子的任何帮助。我猜规则的形式是“后继:-先决”。to modify static_procedure `(;)/2'
Prolog不允许“不”(否定)事
浏览 2提问于2012-07-19得票数 6
回答已采纳
4回答
我如何用Prolog来表达下面的3个句子？
All summers are warm. If it not summer, then it is winter. Now it is winter.
浏览 1提问于2012-06-07得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
云直播
对象存储活动推荐
腾讯云开发者
