Foundations of logic programming
Citations
4,386 citations
Cites background from "Foundations of logic programming"
...Then according to theorem 9.6 in [ 38 ], there is a definite program P and an n+1-ary predicate symbol pf such that all computed answers for P ∪ {← p f(s k1 (0),..,s kn(0),x)} have the form {x/sk(0)} and for all...
[...]
...A program is said to be hierarchical [ 38 ] if there is no p such that p ≥ p. A program is said to be stratified [2] if we never have both p ≡ q and p ≥-1 q. A program is strict [35,54] if there are no p,q such that p ≥+1 q and p ≥-1 q. A program is call-consistent [35,54,12,18] if there is no predicate symbol p such that p ≥-1 p....
[...]
2,916 citations
2,716 citations
Cites background from "Foundations of logic programming"
...Such an expansion is performed by viewing each foreign key constraint r1[X] i r2[Y], where X and Y are sets of h attributes and Y is a key for r2, as a logic programming [ 77 ] rule r 0 2( ~...
[...]
2,451 citations
1,908 citations
References
4,146 citations
2,743 citations
"Foundations of logic programming" refers background in this paper
...Building on work of Herbrand [44] in 1930, there was much activity in theorem proving in the early 1960's by Prawitz [84], Gilmore [39], Davis, Putnam [26] and others....
[...]
2,216 citations
"Foundations of logic programming" refers background or methods in this paper
...We will also require the usual type theory [33]....
[...]
...The intuitive idea of a typed theory (also called a many-sorted theory [33]) is that there are several sorts of variables, each ranging over a different domain....
[...]
...The other fact that we will need about typed logics is that there is a transformation of typed formulas into (type-free) formulas, which shows that the apparent extra generality provided by typed logics is illusory [33]....
[...]
...For this, we use a standard transfonnation [33]....
[...]
...We suggest reading the first few chapters of [14], [33], [64], [69] or [99]....
[...]
1,636 citations
1,611 citations
"Foundations of logic programming" refers background in this paper
...We suggest reading the first few chapters of [14], [33], [64], [69] or [99]....
[...]
...We suggest consulting [9], [14], [64] or [66]....
[...]