在序言中解决二次方程

Question

我在序言中遇到了求解方程实现的问题。 我知道一些基础知识，但同时我无法理解swish.swi控制台的输出。 如果您有任何关于我的错误的帮助或建议，我将不胜感激。

delta(A, B, C, D):- D is B*B - 4*A*C. 

equation(A,B,C,X):- D1<0,delta(A,B,C,D1),X is 0. % or false... but how to retur false there? 
equation(A,B,C,X):- D1 =:= 0,delta(A,B,C,D1),X is -B/2*A. 
equation(A,B,C,X): D1>0,delta(A,B,C,D1),X is -B-sqrt(D1)/2*A. 
equation(A,B,C,X): D1>0,delta(A,B,C,D1),X is -B+sqrt(D1)/2*A. 

我runnign equation(2, 0, 1, X).

Full stop in clause-body? Cannot redefine ,/2 
</2: Arguments are not sufficiently instantiated 

Answer 1

后获得两个错误有大约

论据是不充分的实例

你必须交换三角洲/ 4与测试。此外，最好使用if/then/else，以避免重新计算结果：

equation(A,B,C,X) :- 
delta(A,B,C,D1), 
( D1 < 0 
-> X is 0 
; D1 =:= 0 
-> X is -B/2*A 
; X is -B-sqrt(D1)/2*A 
).