Rozwiązując układ równań w Prologu

Załóżmy mam numer X i życzę, aby rozwiązać układ równań, powiedzmy Y + Z = X, Z * Y = 1.Rozwiązując układ równań w Prologu

Teraz ma to rozwiązania Y = 1/Z i Z = (sqrt (X * X-4) + X)/2 lub (X- (sqrt (X * X-4)))/2.

Więc mogę napisać w Prologu:

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.

To działa.

ALE

to wymaga wiele wstępnych prac z mojej strony, zasadniczo rozwiązywania go wcześniej i zadaje Prolog ocenić odpowiedź.

Czy jest jakiś sposób, aby uzyskać Z i Y, bez uprzedniego rozwiązania X?

Nie mogę po prostu pisać takie rzeczy

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

powodu błędu konkretyzacji.

Źródło

2013-04-12 Valtteri

http://stackoverflow.com/questions/13690136/im-curious-if-logical-program-can-do-algebra –

Myślę, że potrzebujesz CAS, aby symbolicznie rozwiązać system, tak jak zrobiłeś "ręcznie". Taki SW nie jest ani łatwy do znalezienia, ani do zbudowania.

Jeśli pragmatyczne podejście może zrobić dla ciebie, biblioteka (clprq) może pomóc:

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

daje

?- 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}.

Czy to ma sens?

Źródło

2013-04-12 17:24:37 CapelliC

Niezupełnie, szczerze mówiąc, ale myślę, że mógłbym napisać solver dla drugiego stopnia wielomian, a następnie użyj tego. Ale i tak dzięki. – Valtteri

Dlaczego takie oprogramowanie jest trudne do znalezienia? Czy to nie istnieje? Czy nie istnieje dla Prolog? –

@ErikAllik: jest to dość trudny temat i nie znam strony z której można pobrać CAS. Przynajmniej w książce (google o sztuce Prologa, Sterling-Shapiro), CAS był tematem rozdziału, może warto byłoby go za punkt wyjścia ... – CapelliC

Rozwiązując układ równań w Prologu

Odpowiedz

Powiązane problemy