The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.07 - July (1988 vol.14)
pp: 922-935
ABSTRACT
<p>It is shown how Horn logic programs can be implemented using database techniques, namely, mostly bottom-up in combination with certain top-down elements (as opposed to the top-down implementations of logic programs prevailing so far). The proposed method is sound and complete. It easily lends itself to a parallel implementation and is free of nonlogical features like backtracking. As an extension to the common approach to deductive databases, function symbols are allowed to appear in programs, and it is shown that much of database query optimization can be applied to optimize logic programs. An important advantage of present approach is its ability to evaluate successfully many programs that terminate under neither pure top-down nor bottom-up evaluation strategies.</p>
INDEX TERMS
logic programming; parallel programming; SYGRAF; Horn logic programs; deductive databases; function symbols; query optimization; bottom-up evaluation; database theory; formal logic; logic programming; programming theory
CITATION
M. Kifer, E.L. Lozinskii, "SYGRAF: Implementing Logic Programs in a Database Style", IEEE Transactions on Software Engineering, vol.14, no. 7, pp. 922-935, July 1988, doi:10.1109/32.42735
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool