A Rule-based Approach to the Implementation of Evaluation Strategies (0)

by M MARIN, T KUTSIA
Venue:PETCU D., NEGRU V., ZAHARIE D., JEBELEAN T., Eds., Proceedings of SYNASC 2004
Add To MetaCart
Results 1 - 1 of 1

Foundations of the Rule-Based System ρLog

by Mircea Marin, Temur Kutsia
"... ABSTRACT. We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values; and (2) strategic programming with labeled rules. The system is called ρL ..."
Abstract - Cited by 2 (2 self) - Add to MetaCart
ABSTRACT. We describe the foundations of a system for rule-based programming which integrates two powerful mechanisms: (1) matching with context variables, sequence variables, and regular constraints for their matching values; and (2) strategic programming with labeled rules. The system is called ρLog, and is built on top of the pattern matching and rule-based programming capabilities of Mathematica. KEYWORDS: Rule-based programming, declarative programming, matching. 1.