1989
DOI: 10.1016/0304-3975(89)90070-4
|View full text |Cite
|
Sign up to set email alerts
|

Declarative modeling of the operational behavior of logic languages

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2

Citation Types

1
116
0

Year Published

1995
1995
2011
2011

Publication Types

Select...
5
2

Relationship

2
5

Authors

Journals

citations
Cited by 183 publications
(117 citation statements)
references
References 6 publications
1
116
0
Order By: Relevance
“…The least fixed point of T P is called the least Herbrand model of P and duly satisfies model-theoretic properties that justify that expression [19]. A non-ground alternative to the ground fixed point semantics has been given in [9]; and further developed in terms of categorical logic [2,6].…”
Section: Remarkmentioning
confidence: 99%
See 1 more Smart Citation
“…The least fixed point of T P is called the least Herbrand model of P and duly satisfies model-theoretic properties that justify that expression [19]. A non-ground alternative to the ground fixed point semantics has been given in [9]; and further developed in terms of categorical logic [2,6].…”
Section: Remarkmentioning
confidence: 99%
“…SLD-resolution is sound and complete with respect to the least fixed point semantics. The classical theorems of soundness and completeness of this operational semantics [19,9] show that every atom in the set computed by the least fixed point of T P has a finite SLD-refutation, and vice versa. …”
Section: Remarkmentioning
confidence: 99%
“…s-semantics, denoted by S, has been introduced in [12] in order to provide a fully abstract description of computed answer substitutions of logic programs. Recall that ϑ is a computed answer substitution for a goal G and a program P iff G ϑ −→ * P Λ. Clark's semantics, denoted by C, has been introduced in [2].…”
Section: A Hierarchy Of Logic Program Semanticsmentioning
confidence: 99%
“…Recall that ϑ is a computed answer substitution for a goal G and a program P iff G ϑ −→ * P Λ. Clark's semantics, denoted by C, has been introduced in [2]. In [12], it was proved that C is fully abstract with respect to the "more abstract" notion of correct answer substitution. Recall that ϑ is a correct answer substitution for a goal G and a program P iff Gϑ−→ * P Λ.…”
Section: A Hierarchy Of Logic Program Semanticsmentioning
confidence: 99%
See 1 more Smart Citation