|
|
|
|
|
|
by abqexpert
2038 days ago
|
|
|
To a large degree you could imagine most of prolog programming as a set of term rewriting steps. As well as most lisp style macro programming languages. I thought the focus on Wolfram was a bit myopic. Even earlier meta and Tree-meta languages used this as well. |
|
|