| Class | Description |
|---|---|
| PrologIntegerMatch |
Matches an integer, provides the found integer as BigInt
|
| PrologListMatch |
Matches on a list with optional given length, provides direct access to the
list.
|
| PrologMatch |
This class and its subclasses are used to do pattern-matching on Prolog
terms.
|
| PrologTermMatch |
Matches on compound Prolog terms.
|
| PrologVariableMatch |
Matches a Prolog variable.
|