SYGRAF: Implementing Logic Programs in a Database Style. 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.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Cortesi, Agostino; Le Charlier, Baudouin; Van Hentenryck, Pascal: Combinations of abstract domains for logic programming: Open product and generic pattern construction (2000)
- Chang, Byeong-Mo; Choe, Kwang-Moo; Han, Taisook: Efficient bottom-up execution of logic programs using abstract interpretation (1993)
- Ramakrishnan, Raghu: Parallelism in logic programs (1991)
- Kifer, M.; Lozinskii, E. L.: SYGRAF: Implementing Logic Programs in a Database Style (1988) ioport