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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of applied non-classical logics Ročník 16; číslo 1-2; s. 151 - 168
Hlavní autori: Marin, Mircea, Kutsia, Temur
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Taylor & Francis Group 01.01.2006
Predmet:
declarative programming
matching
rule-based programming
ISSN:1166-3081, 1958-5780
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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