Open Access. Powered by Scholars. Published by Universities.®
Science and Technology Studies Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Science and Technology Studies
Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler
Classes Of Logic Programs Which Possess Unique Supported Models, Anthony K. Seda, Pascal Hitzler
Computer Science and Engineering Faculty Publications
Logic programming is concerned with the use of logic as a programming language. The main manifestation of this computing paradigm is in the various versions of Prolog which are now available, in which computation is viewed as deduction from sets of Horn clauses, although there is also growing interest in the related form known as answer set programming, see [10]. The reference [1] contains a good survey of the growth of logic programming over the last twenty-five years both as a stand-alone programming language and as a software component of large information systems. One advantage a logic program P has …
A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler
A New Fixed-Point Theorem For Logic Programming Semantics, Anthony K. Seda, Pascal Hitzler
Computer Science and Engineering Faculty Publications
We present a new fixed-point theorem akin to the Banach contraction mapping theorem, but in the context of a novel notion of generalized metric space, and show how it can be applied to analyse the denotational semantics of certain logic programs. The theorem is obtained by generalizing a theorem of Priess-Crampe and Ribenboim, which grew out of applications within valuation theory, but is also inspired by a theorem of S.G. Matthews which grew out of applications to conventional programming language semantics. The class of programs to which we apply our theorem was defined previously by us in terms of operators …