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ženo v:
Podrobná bibliografie
Vydáno v:Journal of applied non-classical logics Ročník 16; číslo 1-2; s. 151 - 168
Hlavní autoři: Marin, Mircea, Kutsia, Temur
Médium: Journal Article
Jazyk:angličtina
Vydáno: Taylor & Francis Group 01.01.2006
Témata:
declarative programming
matching
rule-based programming
ISSN:1166-3081, 1958-5780
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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