Giải quyết hệ phương trình trong Prolog

Question

Giả sử tôi có số X và tôi muốn giải hệ phương trình, nói Y + Z = X, Z * Y = 1.

Bây giờ, giải pháp này có Y = 1/Z và Z = (sqrt (X * X-4) + X)/2 hoặc (X- (sqrt (X * X-4)))/2.

Vì vậy, tôi có thể viết trong Prolog:

solve(X,Y,Z):- Y is (sqrt(X*X-4)+X)/2, Z is 1/Y. 
solve(X,Y,Z):- Y is (X-(sqrt(X*X-4)))/2,Z is 1/Y. 

này hoạt động.

NHƯNG

nó đòi hỏi rất nhiều công việc sơ bộ từ một phần của tôi, về cơ bản giải quyết nó trước và chỉ hỏi Prolog để đánh giá câu trả lời.

Có cách nào tôi có thể nhận được Z và Y, mà không giải quyết X trước?

tôi không thể chỉ viết những thứ như

solve(X,Y,Z):- X is Y+Z, Z is 1/Y. 

vì lỗi instantiation.

Answer 1

Tôi nghĩ rằng bạn sẽ cần một CAS, để biểu tượng giải quyết hệ thống, như bạn đã làm "bằng tay". SW như vậy không dễ tìm và không xây dựng.

Nếu một cách tiếp cận thực dụng có thể làm điều đó cho bạn, thư viện (clprq) có thể giúp:

:- [library(clpr)]. 
solve(X,Y,Z) :- {Y+Z=X, Z*Y=1}. 

mang

?- solve(3,Y,Z). 
{Z=3.0-Y, -1.0+Z*Y=0.0}, 
{-1.0+Z*Y=0.0}, 
{-1.0+Z*Y=0.0}. 

make này có ý nghĩa?