連立方程式1 - basicstudyofprolog @ ウィキ

test:-
	List1=[3,4,1],%3X+4Y=1
	List2=[2,5,2],%2X+5Y=2
	compxy(List1,List2,X,Y),
	write(['X'=X]),nl,
	write(['Y'=Y]).
 
compxy([A1,A2,A3],[B1,B2,B3],X,Y):-
	Mul is A1/B1,
	P1 is B2*Mul -A2,
	P2 is B3*Mul -A3,
	Y is P2/P1,
	P3 is A3 - Y * A2,
	X is P3/A1.
 
%?-test.
%[X= -0.428571428571429]
%[Y=0.571428571428571]
%yes
%LOOP = 13