このディレクトリの索引

'A + B + C'(X) :-
        '二元一次連立方程式が A+B=15, A+2B=35 の時 A,B を求める'(A,B),
        'A + B + C'(A + B + C,X).

'A + B + C'(A + B + C,_A_plus_B + C) :-
        var(C),
        _A_plus_B is A + B.
'A + B + C'(A + B + C,X) :-
        \+(var(C)),
        X is A + B + C.

'二元一次連立方程式が A+B=15, A+2B=35 の時 A,B を求める'(A,B) :-
        既約ガウス行列に変形([[1,1,15],[1,2,35]],[[_,_,A],[_,_,B]]).