Foundations of the rule-based system ρLog

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...

Full description

Saved in:
Bibliographic Details
Published in:Journal of applied non-classical logics Vol. 16; no. 1-2; pp. 151 - 168
Main Authors: Marin, Mircea, Kutsia, Temur
Format: Journal Article
Language:English
Published: Taylor & Francis Group 01.01.2006
Subjects:
declarative programming
matching
rule-based programming
ISSN:1166-3081, 1958-5780
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1166-3081
1958-5780
DOI:10.3166/jancl.16.151-168