

...to take into account the evaluation of pre and postconditions, and in particular the nonmonotonic behavior of the world of resources they induce in general...work close to the classical logic programming setting. in particular, the semantics are in the main streams of logic programming semantics. however, the ppl framework...

...novel approach for the specialization of functional logic languages. we consider a maximally simplified
abstract representation of programs (which still contains all the...a simple and concise partial evaluation method for modern
functional logic languages, avoiding several limitations of previous approaches. moreover, since these...

...the procedural interpretation of logic programs and queries is parametric to...a unified view and comparison of seven notions of universal ter mination considered in the literature, and the corresponding classes of programs. for each class, we focus...

...derived from an execution model of these logic programming languages. the associative processor has a hierarchical structure...and the performance has been evaluated. at a machine cycle time of 200 ns, the associative processor attains a performance of 108 klips (kilo logical inferences per second) in the...

...lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. it uses a backward chaining...lolli with the remaining connectives of intuitionistic linear logic restricted to occur inside a monad, an idea taken from the concurrent logical framework (clf). the resulting language...

...definitions to rea son about programs and check the correctness of implementations but it is also a basis to develop languagespecific tools, like program tracers, profilers, optimizers, etc. starting...which relates expressions and their evaluated results—but it is not sucient to cover concurrency, search strategies, or to reason about costs associated to particular computations—, we define...

...systems. we present a (constraint) logic programmingbased framework for
specification, efficient implementation, and automatic verification of domain specific languages (dsls). our...the
ability to verify dsl programs is a distinct advantage of our approach. in this paper we give a general outline of our approach,
and illustrate it...

...constraint logic programming (clp) is a multidisciplinary research...artificial intelligence,
operation research, and programming languages, and has to do with modeling, solving, and programming reallife problems which
can...

...model, chem, for a temporal logic programing language, chronolog. an intermediate virtual...contextparallelism, inherent in temporal logic pro grams, is exploited through...
Published in 1994.