在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進行轉換。