The Mathematica Journal
Departments
Download This Issue
Home
Feature Articles
Graphics Gallery
Tricks of the Trade
In and Out
Columns
The Mathematica Programmer
New Products
New Publications
Classifieds
Calendar
News Bulletins
Editor's Pick
Mailbox
Letters
Write Us
About the Journal
Staff and Contributors
Submissions
Subscriptions
Advertising
Back Issues
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.

Download the article as a Mathematica notebook

View this Article as HTML


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