 | |
 |
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
|
 |
 | |
|
 |
|
 |
 | |
|
 |
|
 |
|
 |
|
 |
|
 |
Volume 7, Issue 3
1999
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.
Additional Materials
(If you don't have a copy of Mathematica, you can view the notebook using Mathematica Player.)
Jason Harris, Physics Department, University of Canterbury, Christchurch, New
Zealand
j.harris@phys.canterbury.ac.nz