The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 31-38
Tetsuo Ida , University of Tsukuba
Mircea Marin , University of Tsukuba
ABSTRACT
<p>We describe the current capabilities of a system for rule-based programming which is being developed by us. The system is called ?Log and consists of a pattern matching system and a strategic programming system embedded into a powerful system for symbolic and numeric computation.</p> <p>Matching with context and sequence variables, possibly constrained by regular constraints, is an elegant mechanism for retrieving data from objects described by tree-like data structures of arbitrary depth and breadth. The data selected by matching can be processed by successive applications of labeled conditional rewrite rules described by strategies. By integrating these mechanisms, we enable a highly declarative programming style which is useful especially for prototype implementations of deductive systems, solvers for various equational theories, tools for querying and translating XML, various evaluation strategies, etc.</p>
INDEX TERMS
null
CITATION
Tetsuo Ida, Mircea Marin, "Rule-Based Programming with ρLog", 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, vol. 00, no. , pp. 31-38, 2005, doi:10.1109/SYNASC.2005.61
97 ms
(Ver 3.3 (11022016))