主页 / 问题 / 940790
Accepted
zcorvid
Asked:2020-02-05 03:30:37 +0000 UTC2020-02-05 03:30:37 +0000 UTC

警告：单例变量

  • 772

告诉我，我试图在在线序言翻译器（https://rextester.com/l/prolog_online_compiler ）中写一个事实，如教程中所述：

parent(Maria, Daria).

收到警告：

Warning: source_file.prolog:5:
    Singleton variables: [Maria,Daria]

为什么会出现此警告？是否有必要提前声明变量？

prolog

1 个回答

  1. Best Answer

    Prolog 解释器告诉你这些变量可以被一个匿名变量替换_，因为它们在这个子句的任何其他地方都没有涉及。

    如果您想指定 Maria 是 Daria 的父母这一事实，那么您应该使用在序言中用小写字母编写的常量，即：

    parent(maria, daria).
    • 1

相关问题