| Autor: |
Cirstea, Horatiu, Coquery, Emmanuel, Drabent, Wlodzimierz, Fages, Francois, Kirchner, Claude, Maluszynski, Jan, Wack, Benjamin |
| Přispěvatelé: |
Constraints, automatic deduction and software properties proofs (PROTHEO), INRIA Lorraine, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS)-Université Henri Poincaré - Nancy 1 (UHP)-Université Nancy 2-Institut National Polytechnique de Lorraine (INPL)-Centre National de la Recherche Scientifique (CNRS), Constraint programming (CONTRAINTES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Polska Akademia Nauk = Polish Academy of Sciences (PAN), Department of Computer and Information Science - Linköping University, Linköping University (LIU), Inria, Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Lorraine (INPL)-Université Nancy 2-Université Henri Poincaré - Nancy 1 (UHP) |
| Jazyk: |
angličtina |
| Rok vydání: |
2004 |
| Předmět: |
|
| Zdroj: |
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p |
| Popis: |
Rapport de contrat.; We survey and analyse the relevant existing work on typing of rules, in particular on typing of constraint logic programs and discuss applicability of these approaches to the rewerse reasoning and query languages under development by WG I1 and by WG I4. This is related to WG I1, developing logic programming like languages for reasoning on the web and with WG I4 investigating development of declarative query languages such as XPathLog and Xcerpt. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
