How can we integrate interaction into a purely declarative language? This tutorial describes
a solution to this problem based on a monad. The solution has been implemented in the …

We propose a new computation model which combines the operational principles of
functional languages (reduction), logic languages (non-deterministic search for solutions) …

Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. However …

Configurations of computing resources established on a web-based computing service can
be monitored, managed and controlled. According to an embodiment, a configura tion …

To face up a formal definition of intelligence may seem preposterous in the current
complexity of the sciences which such a definition might influence. Also, there is now a …

Escher is a general-purpose, declarative programming language which integrates the best
features of both functional and logic programming languages. It has types and modules …

Efficiency and Scalability have always been important concerns in the field of data mining,
and are even more so in the multi-relational context, which is inherently more complex. The …

100 30 syntax without the use of explicit identifiers. In one non limiting aspect, the syntax
includes Support for conformance relationships, also referred to as factored relationships. In …

We propose an embedding of logic programming into lazy functional programming in which
each predicate in a Prolog program becomes a Haskell function, in such a way that both the …

Web Applications have become an omnipresent part of our daily lives. They are easy to use,
but hard to develop. WYSIWYG editors, form builders, mashup editors, and markup …