Jason Harris
Physics Department
University of Canterbury
Christchurch, New Zealand
j.harris@phys.canterbury.ac.nz

This paper introduces and explores the concept of semantic matching in the context of the Mathematica language. The Semantica package extends the Mathematica pattern matching language by adding the additional language mechanisms inherent to semantic matching. Semantica works by translating or compiling semantic patterns into corresponding syntactic patterns.