在eclipse clp中使用三角函数答案

【问题标题】：Using trigonometric functions in eclipse clp在eclipse clp中使用三角函数
【发布时间】：2013-06-30 10:38:39
【问题描述】：

我是 eclipse CLP 的新手，我想实现一个谓词，该谓词获得与特定正弦函数等效的所有角度，例如

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

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

【问题讨论】：

【解决方案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 谓词使用弧度

【讨论】：

【解决方案2】：

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

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

【讨论】：