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

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.

Introduction

Syntactic versus Semantic Matching

Standard Mathematica and Semantic Matching

Semantica: A Full Semantic Pattern Matcher

Advanced Capabilities of Semantica

How Semantica's Definitions Work

How Semantica Builds Definitions

Future Extensions

Conclusion

References

Electronic Material

About the Author


Converted by Mathematica      September 30, 1999