Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues of logic program structuring, by way of the parametric context. We claim that these two can be effectively combined to obtain a language which offers significant gains in expressiveness over previous work. This claim is experimentally backed by the applications that have been developed using these tools.
Abstract. Traditionally, a logic program is built up to reason about atomic first-order formulas. Th...
Computational Linguistics and Logic Programming have strong connections, but the former uses concept...
In designing and building persistent object systems we are attempting to regularise the activities o...
Hiermit erkläre ich an Eides Statt, dass ich die vorliegende Arbeit selbstständig verfasst und keine...
Logic programming is an important paradigm because of its declarative nature – a programmer declares...
Programmers need mechanisms to store application specific data that persists multiple program runs. ...
Emerging database applications, for instance those typical of design databases, place a number of no...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
We present an extension of language A-Prolog by consistency-restoring rules with preferences, give t...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Abstract: "Database systems are primarily concerned with the creation and maintenance of large, long...
[[abstract]]A continuation represents the dynamic effect of the remainder of a program. We present a...
Logic programming has been attracting increasing interest in recent years. Its first realisation in ...
Programmers need mechanisms to store application specific data that persists multiple program runs. ...
[[abstract]]A continuation represents the dynamic effect of the remainder of a program. We present a...
Abstract. Traditionally, a logic program is built up to reason about atomic first-order formulas. Th...
Computational Linguistics and Logic Programming have strong connections, but the former uses concept...
In designing and building persistent object systems we are attempting to regularise the activities o...
Hiermit erkläre ich an Eides Statt, dass ich die vorliegende Arbeit selbstständig verfasst und keine...
Logic programming is an important paradigm because of its declarative nature – a programmer declares...
Programmers need mechanisms to store application specific data that persists multiple program runs. ...
Emerging database applications, for instance those typical of design databases, place a number of no...
AbstractComputational Linguistics and Logic Programming have strong connections, but the former uses...
We present an extension of language A-Prolog by consistency-restoring rules with preferences, give t...
To help encourage the wide use of a variety of logic-based languages, we advocate the identification...
Abstract: "Database systems are primarily concerned with the creation and maintenance of large, long...
[[abstract]]A continuation represents the dynamic effect of the remainder of a program. We present a...
Logic programming has been attracting increasing interest in recent years. Its first realisation in ...
Programmers need mechanisms to store application specific data that persists multiple program runs. ...
[[abstract]]A continuation represents the dynamic effect of the remainder of a program. We present a...
Abstract. Traditionally, a logic program is built up to reason about atomic first-order formulas. Th...
Computational Linguistics and Logic Programming have strong connections, but the former uses concept...
In designing and building persistent object systems we are attempting to regularise the activities o...