|
|
|
|
|
|
|
|
Rule-Based Programming
|
|
|
|
|
|
Organization: | Austrian Academy of Sciences |
Department: | Radon Institute for Computational Applied Mathematics |
Organization: | Johannes Kepler University |
Department: | Research Institute for Symbolic Computation (RISC-Linz) |
|
|
|
|
|
|
2004 International Mathematica Symposium
|
|
|
|
|
|
Banff, Canada
|
|
|
|
|
|
Recent years have witnessed renewed developments of the rule-based programming style, addressing both its theoretical foundations and its practical implementations. New rule-based programming languages have emerged, and several practical applications have shown that rules are indeed a useful programming tool. We believe that Mathematica has the right basic ingredients for supporting rule-based programming efficiently. Because the main features of a true rule-based programming language are still missing, we developed a Mathematica package, ρLog, which enables advanced rule-based programming within Mathematica. We describe here the capabilities of ρLog and illustrate its usage with several examples.
|
|
|
|
|
|
|
|
|
|
|
|
rule-based programming, programming language
|
|
|
|
|
|
|
|