prolog - 参数没有充分实例化

Question

所以，我刚开始使用 Prolog，我不断收到 Singleton 变量 (Quo,C) 和 Argumnets 未充分实例化的错误。

Quo:-
    read(A),
    read(B),
    C is A/B,
    write(C).

这里制作了一个简单的代码来求 2 个数字除法的商。

Answer 1

Quo是一个变量（因为它以大写字母开头）。它不能作为子句的开头出现（即 . 之前的内容，:-替换Quo -> quo可以解决您的问题。