Fatal编程技术网
  • prolog/
  • Prolog 参数没有充分实例化

Prolog 参数没有充分实例化

prolog

Prolog 参数没有充分实例化,prolog,instantiation-error,Prolog,Instantiation Error,所以，我刚从Prolog开始，我不断地得到单例变量（Quo，C）和Argumnets的错误，没有实质性地实例化 Quo:- read(A), read(B), C is A/B, write(C). 这里有一个简单的代码，用于查找两个数字除法的商。Quo是一个变量（因为它以大写字母开头）。它不能显示为子句的开头（即：-。替换Quo->Quo可以解决您的问题。Quo是一个变量（因为它以大写字母开头）。它不能显示为子句的开头（即，“：-”前面的内容。替换Quo->Q

所以，我刚从Prolog开始，我不断地得到单例变量（Quo，C）和Argumnets的错误，没有实质性地实例化

Quo:-
    read(A),
    read(B),
    C is A/B,
    write(C).
这里有一个简单的代码，用于查找两个数字除法的商。

Quo
是一个变量（因为它以大写字母开头）。它不能显示为子句的开头（即
：-
。替换
Quo->Quo
可以解决您的问题。

Quo
是一个变量（因为它以大写字母开头）。它不能显示为子句的开头（即，“
：-
”前面的内容。替换
Quo
->
Quo
应该可以解决您的问题。非常感谢！也感谢您的快速响应，我在一小时内完成了考试；p