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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of applied non-classical logics Jg. 16; H. 1-2; S. 151 - 168
Hauptverfasser: Marin, Mircea, Kutsia, Temur
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Taylor & Francis Group 01.01.2006
Schlagworte:
declarative programming
matching
rule-based programming
ISSN:1166-3081, 1958-5780
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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