Bracmat
1 like
Programming language for symbolic computation with extraordinary combination of pattern matching features: tree patterns, associative patterns and expressions embedded in patterns.
License model
- Free • Open Source
Platforms
- Mac
- Windows
- Linux