The deep symmetry of linear logic [18] makes it suitable for providing abstract models of
computation, free from implementation details which are, by nature, oriented and non …

Formal systems that describe computations over syntactic structures occur frequently in
computer science. Logic programming provides a natural framework for encoding and …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

We present a new framework for amalgamating two successful programming paradigms:
logic programming and object-oriented programming. From the former, we keep the …

The research on modular logic programming has evolved along two different directions
during the past decade. Various papers have focused primarily on the problems of …

Modularity is a key issue in the design of modern programming languages. When designing
modular features for declarative languages in general, and for logic programming …

It is an unfortunate reality that in" logic programming" as exemplified by Prolog few
interesting problems can be solved using the purely logical fragment of the language. The …

It is now widely accepted that separating programs into modules is useful in program
development and maintenance. While many Prolog implementations include useful module …

In this thesis we work on normal multimodal logics, that are general modal systems with an
arbitrary set of normal modal operators, focusing on the class of inclusion modal logics. This …

A universally quantified goal can be interpreted intensionally, that is, the goal∀ xG (x)
succeeds if for some new constant c, the goal G (c) succeeds. The constant c is, in a sense …