Infinite derivations as failures
نویسندگان
چکیده
When operating on cyclic data, programmers have to take care in assuring that their programs will terminate; in our opinion, this is a task for the interpreter. We present a Prolog meta-interpreter that checks for the presence of cyclic computations at runtime and returns a failure if this is the case, thus allowing inductive predicates to properly deal with cyclic terms.
منابع مشابه
Higher Derivations Associated with the Cauchy-Jensen Type Mapping
Let H be an infinite--dimensional Hilbert space and K(H) be the set of all compact operators on H. We will adopt spectral theorem for compact self-adjoint operators, to investigate of higher derivation and higher Jordan derivation on K(H) associated with the following cauchy-Jencen type functional equation 2f(frac{T+S}{2}+R)=f(T)+f(S)+2f(R) for all T,S,Rin K(H).
متن کامل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...
متن کاملOn Vertical Grammatical Restrictions that Produce an Infinite Language Hierarchy
This paper introduces deriuation table.s that represent a complete grammatical derivations as whole in a vertical way. These tables are obtained by writing the consecutive sentential forms of grammatical derivations vertically one by one. The present paper places and discusses some restrictions on the columns of these tables. IVIore specifically, these restrictions constrain the order of contex...
متن کاملNotation systems for infinitary derivations
It is one of Kurt Schiitte's great merits to have established cut-elimination on infinitary derivations as a powerful and elegant tool for proof-theoretic investigations. Compared to the Gentzen-Takeuti approach where ordinals are assigned to finite derivations in a rather cryptic way, the use of infinitary derivations together with the canonical assignment of ordinals as lengths of derivations...
متن کاملNonlinear $*$-Lie higher derivations on factor von Neumann algebras
Let $mathcal M$ be a factor von Neumann algebra. It is shown that every nonlinear $*$-Lie higher derivation$D={phi_{n}}_{ninmathbb{N}}$ on $mathcal M$ is additive. In particular, if $mathcal M$ is infinite type $I$factor, a concrete characterization of $D$ is given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015