Hébrard, Jean-Jacques; Luquet, Philippe The Horn basis of a set of clauses. (English) Zbl 0903.68029 J. Log. Program. 34, No. 1, 59-66 (1998). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Degtyarev, Anatoli; Voronkov, Andrei A note on semantics of logic programs with equality based on complete sets of \(E\)-unifiers. (English) Zbl 0874.68058 J. Log. Program. 28, No. 3, 207-216 (1996). MSC: 68N17 68Q55 × Cite Format Result Cite Review PDF Full Text: DOI
Devienne, P.; Lebègue, P.; Parrain, A.; Routier, J. C.; Würtz, J. Smallest Horn clause programs. (English) Zbl 0874.68055 J. Log. Program. 27, No. 3, 227-267 (1996). MSC: 68N17 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Schaerf, Marco Negation and minimality in disjunctive databases. (English) Zbl 0863.68066 J. Log. Program. 23, No. 1, 63-86 (1995). MSC: 68P15 × Cite Format Result Cite Review PDF Full Text: DOI
Hsiang, Jieh; Kirchner, Hélène; Lescanne, Pierre; Rusinowitch, Michaël The term rewriting approach to automated theorem proving. (English) Zbl 0754.68100 J. Log. Program. 14, No. 1-2, 71-99 (1992). MSC: 68T15 68Q42 68-02 × Cite Format Result Cite Review PDF Full Text: DOI
Shmueli, Oded; Tsur, Shalom; Zaniolo, Carlo Compilation of set terms in the logic data language (LDL). (English) Zbl 0763.68026 J. Log. Program. 12, No. 1-2, 89-119 (1992). MSC: 68N20 68N17 68T99 68N15 × Cite Format Result Cite Review PDF Full Text: DOI
Reed, David W.; Loveland, Donald W. A comparison of three PROLOG extensions. (English) Zbl 0754.68034 J. Log. Program. 12, No. 1-2, 25-50 (1992). MSC: 68N17 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Tucker, J. V.; Zucker, J. I. Deterministic and nondeterministic computation, and Horn programs, on abstract data types. (English) Zbl 0768.68094 J. Log. Program. 13, No. 1, 23-55 (1992). MSC: 68Q65 68T27 08A70 03D75 × Cite Format Result Cite Review PDF Full Text: DOI
Ausiello, Giorgio; Italiano, Giuseppe F. On-line algorithms for polynomially solvable satisfiability problems. (English) Zbl 0774.68053 J. Logic Program. 10, No. 1, 69-90 (1991). Reviewer: S.Vorob’ev (Pereslavl’-Zalessky) MSC: 68Q25 03B25 03B35 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Bosco, Pier Giorgio; Giovannetti, Elio; Moiso, Corrado; Palamidessi, Catuscia Comments on “logic programming with equations”. (English) Zbl 0734.68026 J. Logic Program. 11, No. 1, 85-89 (1991). MSC: 68N17 × Cite Format Result Cite Review PDF Full Text: DOI
Beeri, Catriel; Naqvi, Shamim; Shmueli, Oded; Tsur, Shalom Set constructors in a logic database language. (English) Zbl 0724.68016 J. Logic Program. 10, No. 3-4, 181-232 (1991). MSC: 68N17 68P15 68Q55 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Beeri, Catriel; Ramakrishnan, Raghu On the power of magic. (English) Zbl 0722.68018 J. Logic Program. 10, No. 3-4, 255-299 (1991). MSC: 68N17 68P15 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Ghallab, Malik; Escalada-Imaz, Gonzalo A linear control algorithm for a class of rule-based systems. (English) Zbl 0795.68177 J. Log. Program. 11, No. 2, 117-132 (1991). MSC: 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Stabler, Edward P. jun. Representing knowledge with theories about theories. (English) Zbl 0796.68173 J. Logic Program. 9, No. 1, 105-138 (1990). MSC: 68T15 68T30 03F03 68N20 × Cite Format Result Cite Review PDF Full Text: DOI
Papalaskari, Mary-Angela; Weinstein, Scott Minimal consequence in sentential logic. (English) Zbl 0707.03007 J. Logic Program. 9, No. 1, 19-31 (1990). Reviewer: C.F.Kielkopf MSC: 03B22 68N17 03D55 03C99 × Cite Format Result Cite Review PDF Full Text: DOI
Scutellà, Maria Grazia A note on dowling and Gallier’s top-down algorithm for propositional Horn satisfiability. (English) Zbl 0705.68091 J. Logic Program. 8, No. 3, 265-273 (1990). MSC: 68T15 03B05 68Q25 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Nejman, V. S. Refutation search for Horn sets by a subgoal-extraction method. (English) Zbl 0705.68089 J. Logic Program. 9, No. 2-3, 267-284 (1990). MSC: 68T15 68N17 68T27 × Cite Format Result Cite Review PDF Full Text: DOI
Gallo, Giorgio; Urbani, Giampaolo Algorithms for testing the satisfiability of propositional formulae. (English) Zbl 0672.68044 J. Logic Program. 7, No. 1, 45-61 (1989). Reviewer: E.Melis MSC: 68T15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Gallier, Jean H.; Raatz, Stan Extending SLD resolution to equational Horn clauses using E-unification. (English) Zbl 0668.68111 J. Logic Program. 6, No. 1-2, 3-43 (1989). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Demolombe, R.; Fariñas del Cerro, L. An algebraic evaluation method for deduction in incomplete databases. (English) Zbl 0647.68111 J. Logic Program. 5, No. 3, 183-205 (1988). MSC: 68P20 68Q65 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
McCarty, L. Thorne Clausal intuitionistic logic. I: Fixed-point semantics. (English) Zbl 0645.03006 J. Logic Program. 5, No. 1, 1-31 (1988). Reviewer: A.Leitsch MSC: 03B20 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Gallier, Jean H.; Raatz, Stan Hornlog: A graph-based interpreter for general Horn clauses. (English) Zbl 0641.68145 J. Logic Program. 4, 119-155 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68T15 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Itai, A.; Makowsky, J. A. Unification as a complexity measure for logic programming. (English) Zbl 0641.68143 J. Logic Program. 4, 105-117 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68T15 68Q60 68Q25 68Q05 × Cite Format Result Cite Review PDF Full Text: DOI
Balbin, I.; Ramamohanarao, K. A generalization of the differential approach to recursive query evaluation. (English) Zbl 0636.68125 J. Logic Program. 4, 259-262 (1987). MSC: 68P20 × Cite Format Result Cite Review PDF Full Text: DOI
Imielinski, Tomasz Intelligent query answering in rule based systems. (English) Zbl 0636.68124 J. Logic Program. 4, 229-257 (1987). MSC: 68P20 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
van Emden, Maarten H.; Yukawa, Keitaro Logic programming with equations. (English) Zbl 0631.68010 J. Logic Program. 4, 265-288 (1987). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Fariñas del Cerro, Luis; Penttonen, Martti A note on the complexity of the satisfiability of modal Horn clauses. (English) Zbl 0624.03010 J. Logic Program. 4, 1-10 (1987). Reviewer: H.P.Schmitt MSC: 03B35 03B45 68T15 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI
Ferrand, Gérard Error diagnosis in logic programming, an adaptation of E. Y. Shapiro’s method. (English) Zbl 0623.68005 J. Logic Program. 4, 177-198 (1987). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Togashi, Atsushi; Noguchi, Shoichi A program transformation from equational programs into logic programs. (English) Zbl 0616.68017 J. Logic Program. 4, 85-103 (1987). MSC: 68Q60 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Filgueiras, Miguel Cooperating rewrite processes for natural-language analysis. (English) Zbl 0619.68068 J. Logic Program. 3, 279-298 (1986). Reviewer: J.-J.Ch.Meyer MSC: 68Q55 68T50 03B65 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Paulson, Lawrence C. Natural deduction as higher-order resolution. (English) Zbl 0613.68035 J. Logic Program. 3, 237-258 (1986). Reviewer: P.Štěpánek MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI Link
Gabbay, D. M.; Sergot, M. J. Negation as inconsistency. I. (English) Zbl 0606.68086 J. Logic Program. 3, 1-35 (1986). Reviewer: G.Mints MSC: 68T15 03B35 68N01 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Bojadziev, Damjan A constructive view of PROLOG. (English) Zbl 0597.68015 J. Logic Program. 3, 69-74 (1986). Reviewer: B.Mahr MSC: 68N01 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Fitting, Melvin A Kripke-Kleene semantics for logic programs. (English) Zbl 0589.68011 J. Logic Program. 2, 295-312 (1985). Reviewer: G.Mints MSC: 68Q60 68N01 68T99 × Cite Format Result Cite Review PDF Full Text: DOI
Asirelli, Patrizia; De Santis, Michele; Martelli, Maurizio Integrity constraints in logic databases. (English) Zbl 0583.68057 J. Logic Program. 2, 221-232 (1985). Reviewer: M.Zimand MSC: 68P20 68P05 × Cite Format Result Cite Review PDF Full Text: DOI
Minker, Jack; Perlis, Donald Computing protected circumscription. (English) Zbl 0579.68054 J. Logic Program. 2, 235-249 (1985). MSC: 68P20 68P05 68Q65 × Cite Format Result Cite Review PDF Full Text: DOI
Guguen, Joseph A.; Meseguer, José Equality, types, modules, and (why not?) generics for logic programming. (English) Zbl 0592.68076 J. Logic Program. 1, 179-210 (1984). Reviewer: G.Mints MSC: 68T15 68N99 × Cite Format Result Cite Review PDF Full Text: DOI
Lloyd, J. W.; Topor, R. W. Making PROLOG more expressive. (English) Zbl 0584.68022 J. Logic Program. 1, 225-240 (1984). Reviewer: G.Mints MSC: 68N01 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J. A theory of complete logic programs with equality. (English) Zbl 0584.68021 J. Logic Program. 1, 211-223 (1984). Reviewer: G.Mints MSC: 68N01 03B35 68T15 × Cite Format Result Cite Review PDF Full Text: DOI
Shepherdson, John C. Negation as failure: A comparison of Clark’s completed data base and Reiter’s closed world assumption. (English) Zbl 0575.68094 J. Logic Program. 1, 51-79 (1984). Reviewer: E.Knuth MSC: 68P20 × Cite Format Result Cite Review PDF Full Text: DOI
Goguen, Joseph A.; Meseguer, José Equality, types, modules, and (why not?) generics for logic programming. (English) Zbl 0575.68091 J. Logic Program. 1, 179-210 (1984). Reviewer: G. E. Mints (Leningrad) MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI
Fribourg, Laurent Oriented equational clauses as a programming language. (English) Zbl 0574.68024 J. Logic Program. 1, 165-177 (1984). Reviewer: F.J.van der Linden MSC: 68W30 68Q55 68T15 03B30 × Cite Format Result Cite Review PDF Full Text: DOI
Eriksson, Lars-Henrik Synthesis of a unification algorithm in a logic programming calculus. (English) Zbl 0573.68006 J. Logic Program. 1, 3-18 (1984). Reviewer: F.J.van der Linden MSC: 68Q65 68Q60 68Q45 68T15 × Cite Format Result Cite Review PDF Full Text: DOI