par Baudinet, Marianne 
Référence Information and computation, 117, 2, page (157-180)
Publication Publié, 1995-03
Référence Information and computation, 117, 2, page (157-180)
Publication Publié, 1995-03
Article révisé par les pairs
| Résumé : | In this paper, we address expressiveness issues for temporal logic programming, and in particular for the language TEMPLOG. We focus on the temporal component of the expressiveness by considering the propositional fragment of the language, which we call PTEMPLOG. We prove that PTEMPLOG is able to express positive least-fixpoint temporal properties, which (up to a convention concerning atomic formulas) corresponds to finitely regular ω-languages. Finally, we consider the extension of PTEMPLOG With stratified negation and we show that it is able to express all ω-regular languages. © 1995 Academic Press. All rights reserved. |
