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!

Be the first to leave a comment!