52 search results - page 1 / 11 » Defining Datalog in Rewriting Logic |
LOPSTR
2009
Springer
13 years 9 months ago
2009
Springer
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
ENTCS
2006
13 years 4 months ago
2006
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
POPL
2007
ACM
14 years 5 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
ENTCS
2000
13 years 4 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...