Wolfram Language
Paclet Repository
Community-contributed installable additions to the Wolfram Language
Primary Navigation
Categories
Cloud & Deployment
Core Language & Structure
Data Manipulation & Analysis
Engineering Data & Computation
External Interfaces & Connections
Financial Data & Computation
Geographic Data & Computation
Geometry
Graphs & Networks
Higher Mathematical Computation
Images
Knowledge Representation & Natural Language
Machine Learning
Notebook Documents & Presentation
Scientific and Medical Data & Computation
Social, Cultural & Linguistic Data
Strings & Text
Symbolic & Numeric Computation
System Operation & Setup
Time-Related Computation
User Interface Construction
Visualization & Graphics
Random Paclet
Alphabetical List
Using Paclets
Create a Paclet
Get Started
Download Definition Notebook
Learn More about
Wolfram Language
PatternMatcher
Guides
A Virtual Machine for the Pattern Matcher
Symbols
CompilePatternToBytecode
CreatePatternMatcherVirtualMachine
PatternBytecodeDisassemble
PatternBytecodeInformation
PatternBytecode
PatternBytecodeQ
PatternMatcherEnableTrace
PatternMatcherExecute
PatternMatcherMatch
PatternMatcherMatchQ
PatternMatcherReplace
PatternMatcherStep
PatternMatcherTraceEnabled
PatternMatcherTraceEnabledQ
PatternMatcherVirtualMachine
PatternToMatchFunction
A Virtual Machine for the Pattern Matcher
A register-based virtual machine that compiles Wolfram Language patterns into bytecode for efficient, observable execution with explicit backtracking and comprehensive debugging support.
Compilation
P
a
t
t
e
r
n
T
o
M
a
t
c
h
F
u
n
c
t
i
o
n
— convert a pattern to a pure function for matching
C
o
m
p
i
l
e
P
a
t
t
e
r
n
T
o
B
y
t
e
c
o
d
e
— compile a pattern into executable bytecode
Pattern Matching
P
a
t
t
e
r
n
M
a
t
c
h
e
r
E
x
e
c
u
t
e
— execute a compiled pattern and return detailed match results
P
a
t
t
e
r
n
M
a
t
c
h
e
r
M
a
t
c
h
Q
— test whether an expression matches a pattern
P
a
t
t
e
r
n
M
a
t
c
h
e
r
R
e
p
l
a
c
e
— apply pattern-based replacement rules to expressions
Pattern Matcher Objects
P
a
t
t
e
r
n
B
y
t
e
c
o
d
e
— compiled bytecode representation of a pattern
P
a
t
t
e
r
n
M
a
t
c
h
e
r
V
i
r
t
u
a
l
M
a
c
h
i
n
e
— virtual machine instance for executing bytecode
Bytecode Inspection
P
a
t
t
e
r
n
B
y
t
e
c
o
d
e
D
i
s
a
s
s
e
m
b
l
e
— display human-readable bytecode instructions
P
a
t
t
e
r
n
B
y
t
e
c
o
d
e
I
n
f
o
r
m
a
t
i
o
n
— retrieve metadata about compiled bytecode
Execution Control
P
a
t
t
e
r
n
M
a
t
c
h
e
r
E
n
a
b
l
e
T
r
a
c
e
— enable or disable step-by-step execution tracing
P
a
t
t
e
r
n
M
a
t
c
h
e
r
T
r
a
c
e
E
n
a
b
l
e
d
Q
— check whether execution tracing is enabled
C
r
e
a
t
e
P
a
t
t
e
r
n
M
a
t
c
h
e
r
V
i
r
t
u
a
l
M
a
c
h
i
n
e
▪
P
a
t
t
e
r
n
B
y
t
e
c
o
d
e
Q
R
e
l
a
t
e
d
G
u
i
d
e
s
▪
P
a
t
t
e
r
n
s
"
"