用者関数定義(_式,X) :-
　　functor(_式,_関数,2),
　　arg(1,_式,_引数1),
　　arg(2,_式,_引数2),
　　'行列?'(_引数1),
　　'行列?'(_引数2),
　　行列演算(_関数,_引数1,_引数2,X).