Volume 7, Issue 3
This paper introduces and explores the concept of semantic matching in
the context of the Mathematica language. The package Semantica.m
extends the Mathematica pattern matching language by adding the additional
language mechanisms inherent to semantic matching. We explore the basic and advanced
capabilities of Semantica, its limitations and its implementation. Loosely, Semantica
works by translating or compiling semantic patterns into corresponding syntactic patterns.
Finally, we follow through the consequences of the introduction of semantic patterns and
examine prospective additions which may in the future be added to Semantica.
(If you don't have a copy of Mathematica, you can view the notebook
Jason Harris, Physics Department, University of Canterbury, Christchurch, New