Prolog singleton variables 的问题及解决办法

本文探讨了在Prolog编程中遇到的单例变量警告问题,如likes/4模式中出现的All变量警告。虽然这些警告不是错误,但为了确保代码的健壮性,文章提出了解决方案,即使用underscore(_)替换单例变量,或在变量前加上下划线(_All),以消除Prolog编译器的警告。
摘要由CSDN通过智能技术生成

Prolog 代码片段

% likes characteristic
likes(paul, classic, adventure, swimming).
likes(kevin, rocknroll, sciencefiction, tennis).
likes(doug, jazz, detectivenovel, tennis).
likes(alice, All, adventure, swimming).
likes(eva, rocknroll, sciencefiction, All).

likes(lea, classic, adventure, swimming).

上述代码经过Prolog编译器编译之后,会出现这样的问题:

ass2.pl: 49 warning: singleton variables [All] for likes/4

ass2.pl: 50 warning: singleton variables [All] for likes/4

虽然上面的提示不是错误,只是警告,但是为防止程序出现问题,还是需要找到修改警告的方法。

<
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值