A fixpoint semantics of Horn sentences based on substitution sets
نویسندگان
چکیده
منابع مشابه
Fixpoint semantics and simulation
A general functorial framework for recursive deenitions is presented in which simulation of a deenition scheme by another one implies an ordering between the values deened by these schemes in an arbitrary model. Under mild conditions on the functor involved, the converse implication also holds: a model is constructed such that, if the values deened are ordered, there is a simulation between the...
متن کاملOn Greatest Fixpoint Semantics of Logic Programming
The study of fixpoints has long been at the heart of logic programming. However, whereas least fixpoint semantics works well for SLD-refutations (i.e. is sound and complete), there is no satisfactory (i.e. complete) fixpoint semantics for infinite derivations. In this paper, we focus on this problem. Standard approaches in this area consist in concentrating on infinite derivations that can be s...
متن کاملAsmL Semantics in Fixpoint
AsmL is a novel executable specification language based on the theory of Abstract State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs. In this report, we present a proven complete small-step trace-based operational semantics of the main parts of AsmL. Such a semantics provides precise and non ambiguous definitions of AsmL. It is very useful ...
متن کاملFixpoint semantics for logic programming a survey
The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic p...
متن کاملOn Semantics for Characterizing Sentences∗
The paper presents semantics for a subset of generics, so-called “characterizing sentences”. It is argued that claims about the relationship between the truth of characterizing sentences and claims about the distribution of properties among individuals can be viewed independently of considerations about logical form. Some extant approaches are presented and criticized, and a positive analysis o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1987
ISSN: 0304-3975
DOI: 10.1016/0304-3975(87)90039-9