2014 **Abstract:** To appear in Theory and Practice of Logic Programming (TPLP). Tabling is a
commonly used technique in logic programming for avoiding cyclic behavior of
logic programs and enabling more declarative program definitions. Furthermore,
tabling often improves computational performance. Rational term are terms with
one or more infinite sub-terms but with a finite representation. Rational terms
can be generated in Prolog by omitting the occurs check when unifying two
terms. Applications of rational terms include defin…

Help me understand this report

View preprint versions

Search citation statements

Paper Sections

Select...

2

1

Citation Types

0

3

0

Year Published

2015

2020

Publication Types

Select...

2

1

Relationship

0

3

Authors

Journals

(3 citation statements)

(39 reference statements)

0

3

0

“…CoLP has been initially proposed by Simon et al (2006;2006;2007) as a convenient subparadigm of logic programming to model circularity; it was soon recognized the limitation of its expressive power that does not allow mutually recursive inductive and coinductive predicates, or predicates whose correct interpretation is neither the least, nor the greatest fixed point. Moura et al (2013;2014) and Ancona (2013) have proposed implementations of coLP based on refinements of the Simon's original proposal with the main aim of making them more portable and flexible. Ancona has extended coLP by introducing a finally clause, allowing the user to define the specific behavior of a predicate when solved by coinductive hypothesis.…”

confidence: 99%

“…CoLP has been initially proposed by Simon et al (2006;2006;2007) as a convenient subparadigm of logic programming to model circularity; it was soon recognized the limitation of its expressive power that does not allow mutually recursive inductive and coinductive predicates, or predicates whose correct interpretation is neither the least, nor the greatest fixed point. Moura et al (2013;2014) and Ancona (2013) have proposed implementations of coLP based on refinements of the Simon's original proposal with the main aim of making them more portable and flexible. Ancona has extended coLP by introducing a finally clause, allowing the user to define the specific behavior of a predicate when solved by coinductive hypothesis.…”

confidence: 99%

“…Since coSLD aims to capture all coinductively derivable atoms, it accepts all cyclic proofs, but in some cases this behaviour is too rigid. To allow more flexible behaviours, in [Anc13,MRM14] other operational models are provided. In particular, the notion of finally clause, introduce by Ancona [Anc13], allows the programmer to specify a fact that should be resolved when a cycle is detected, instead of simply accepting the atom.…”

confidence: 99%

“…Two papers have been recently published in the time spanning the period between the appearance of the conference version and the completion of the revision of the journal version of this work, witnessing the interest toward this sub-paradigm of Logic Programming. Moura [24] presents a portable implementation of co-LP very close to [2] (both based on refinements of the Simon's original proposal [31]), which has been embedded in a tabled Prolog [20], exploiting tabling for storing hypothesis. The work of Moura relates to the implementation of Logtalk, an open source object-oriented logic programming language supporting co-LP; both [20] and [2] propose a more flexible implementation than that provided in [31], with similar mechanisms to allow the user to specify customized behavior in case of the application of the coinductive rule.…”

confidence: 99%