Prolog的なMathematicaとかはどうかな?