このディレクトリの索引
http://pc12.2ch.net/test/read.cgi/tech/1269438098/686
#  [1] 授業単元: プログラム演習  
#  [2] 問題文(含コード&リンク):  
#  配列を用いて連立一次方程式を解くプログラムを実装し、以下の連立一次方程式の解を求めなさい。 
#  a + 2b -5c + 4d = 2 
#  2a - 4b + 2c + 3d = 18 
#  4a + 15b - 32c + 3d = -116 
#  5a + 15b - 32c + d = -129 
#  

拡大係数行列を既約ガウス行列に変形して連立一次方程式の解を得る(_変数名ならび,_拡大係数行列,_解ならび) :-
        既約ガウス行列に変形(_拡大係数行列,_既約ガウス行列),
        解の収集(_変数名ならび,_既約ガウス行列,_解ならび).

解の収集([],[],[]) :- !.
解の収集([_変数名|R1],[_行|R2],[_変数名=X|R3]) :-
        last(_行,X),
        解の収集(R1,R2,R3).