 |
|
|
|
|
 |
|
|
Semantica: Semantic Pattern Matching in Mathematica
|
|
|
|
|
|
| Organization: | Wolfram Research, Inc. |
| Department: | User Interface Group |
|
|
|
|
|
|
|
|
|
|
|
|
Introduction | Syntactic versus Semantic Matching | Standard Mathematic and Semantic Matching | Semantica: A Full Semantic Pattern Matcher | Advanced Capabilities of Semantica | How Semantica's Definitions Work | How Semantica Builds Definitions | Future Extensions
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
semantic pattern matching, syntactic pattern matching
|
|
|
|
|
|
http://www.mathematica-journal.com/issue/v7i3/features/harris/
|
|
For the newest resources, visit Wolfram Repositories and Archives »
