论证没有充分实例化

Question

所以，我刚开始使用Prolog，我不断得到Singleton变量（Quo，C）和Argumnets的这个错误没有实际实例化。

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

用于查找2个数字的商的简单代码＆＃39;分裂在这里。

Answer 1

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