Skip to Main content Skip to Navigation

A Rule Language for Interaction

Carlos Castro Eric Monfroy Christophe Ringeissen 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we propose a rule language for designing interactive component languages and basic coordination languages. In our language, concurrent rules manage interactions and applications of call-back functions on a store of data that can freely be structured as an array, a list, a set of communication channels, etc. This rule language is a kind of an abstract machine to write interactive component languages. We then propose a specific component language to write solver cooperation languages. We illustrate the use of this language to specify and implement a cooperation language for constraint solving.
Document type :
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:41:08 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM


  • HAL Id : inria-00099780, version 1



Carlos Castro, Eric Monfroy, Christophe Ringeissen. A Rule Language for Interaction. [Intern report] A03-R-236 || castro03a, 2003, 15 p. ⟨inria-00099780⟩



Record views