Prolog笔记

单引号表示常量,双引号表示列表。来源


  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Prolog中,append是一个内置的谓词,用于连接两个列表。它的语法是append(List1, List2, Result),其中List1和List2是要连接的两个列表,Result是连接后的结果列表。当我们在Prolog终端输入append(List1, List2, Result)时,Prolog系统会根据它的知识库来判断这个查询是否为真。如果存在一种方式可以将List1和List2连接成Result,那么查询就会返回true,并且Prolog系统会给出一个满足条件的Result的具体值。如果不存在这样的方式,查询就会返回false。\[1\]\[2\] 需要注意的是,在同一个查询中,如果已经存在一个变量名,Prolog系统会自动重命名重复的变量名,以避免冲突。例如,如果在查询中已经有一个变量Z,而我们又使用了Z作为变量名,Prolog系统会将重复的Z重命名为Z1,以确保变量名的唯一性。\[3\] 因此,当我们在Prolog中使用append(List1, List2, Result)查询时,Prolog系统会根据它的知识库和变量重命名规则来判断查询的真假,并给出相应的结果。 #### 引用[.reference_title] - *1* *2* *3* [Prolog笔记](https://blog.csdn.net/weixin_38742280/article/details/82896345)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v91^koosearch_v1,239^v3^insert_chatgpt"}} ] [.reference_item] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值