math - 在eclipse clp中使用三角函数

Question

我是 eclipse CLP 的新手，我想实现一个谓词，让所有角度都等同于特定的正弦函数，比如

:- lib(ic).
solve(L) :-
L = [X,Y,Z],
L::[-180..180],
cos(X) #= sin(Y) + sin(Z),
labeling(L).

我知道这个方案可能适用于变量的整数值；所以我需要一个也使用 CLP 的替代解决方案。

Answer 1

好的，我想通了，

:-lib(ic).
solve(V):-
V = [X,Y,Z],
V::[0 .. 180],
cos(X*pi/180) $= sin(Y*pi/180) + sin(Z*pi/180),
labeling(V).

注意： cos 和 sin 谓词与弧度一起使用

Answer 2

三角函数参数以弧度表示。

使用公式Rad = Degree * pi / 180进行转换。