Bracmat adalah perisian untuk penerokaan dan transformasi data yang belum dipetakan dan rumit.Bracmat menggunakan teknik padanan corak yang boleh mengendalikan data rentetan (teks) serta data berstruktur (XML, HTML, JSON, ungkapan algebra, e-mel, kod program, ...).