>>101

matchdeclare([a,b],true);
は変数a, bをパターン変数として宣言しています。どんなパターンに
マッチするかが述語で表されています。trueならばどんな式にもマッチする
のです。tellsimp, tellsimpafter, defruleなどでルールを定義する時には
パターン変数を使いたいですよね。その時には必ずmatchdeclare()のお世話に
なります。