Saint-Dizier, Patrick An approach to natural-language semantics in logic programming. (English) Zbl 0619.68070 J. Logic Program. 3, 329-356 (1986). Reviewer: J.-J.Ch.Meyer MSC: 68Q55 68T50 03B65 68T15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Hirschman, Lynette Conjunction in meta-restriction grammar. (English) Zbl 0619.68069 J. Logic Program. 3, 299-328 (1986). Reviewer: J.-J.Ch.Meyer MSC: 68Q55 68T50 68N20 03B65 68T15 × 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
Hellerstein, Lisa; Shapiro, Ehud Implementing parallel algorithms in Concurrent Prolog: the MAXFLOW experience. (English) Zbl 0613.68015 J. Logic Program. 3, 157-184 (1986). MSC: 68N25 90B10 68Q25 90C35 65K05 × Cite Format Result Cite Review PDF Full Text: DOI
Narain, Sanjai A technique for doing lazy evaluation in logic. (English) Zbl 0613.68014 J. Logic Program. 3, 259-276 (1986). Reviewer: F.J.van der Linden MSC: 68Q60 68Q99 × Cite Format Result Cite Review PDF Full Text: DOI
van Emden, M. H. Quantitative deduction and its fixpoint theory. (English) Zbl 0609.68068 J. Logic Program. 3, 37-53 (1986). Reviewer: Li Xiang MSC: 68T15 03B52 03B35 68N01 91A05 × Cite Format Result Cite Review PDF Full Text: DOI
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
Bellia, Marco; Levi, Giorgio The relation between logic and functional languages: A survey. (English) Zbl 0599.68014 J. Logic Program. 3, 217-236 (1986). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Aïd-Kaci, Hassan; Nasr, Roger LOGIN: A logic programming language with built-in inheritance. (English) Zbl 0599.68013 J. Logic Program. 3, 185-215 (1986). MSC: 68N01 × Cite Format Result Cite Review PDF Full Text: DOI
Flannagan, Tim The consistency of negation as failure. (English) Zbl 0598.68064 J. Logic Program. 3, 93-114 (1986). Reviewer: E.Knuth MSC: 68T15 68N01 68P20 68Q60 × 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
Jaffar, Joxan; Lassez, Jean-Louis; Maher, Michael J. Comments on ”General failure of logic programs”. (English) Zbl 0596.68014 J. Logic Program. 3, 115-118 (1986). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Onai, Rikio; Shimizu, Hajime; Masuda, Kanae; Aso, Moritoshi Analysis of sequential PROLOG programs. (English) Zbl 0592.68020 J. Logic Program. 3, 119-141 (1986). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Jaffar, Joxan; Stuckey, Peter J. Canonical logic programs. (English) Zbl 0592.68018 J. Logic Program. 3, 143-155 (1986). MSC: 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Lloyd, J. W.; Topor, R. W. A basis for deductive database systems. II. (English) Zbl 0591.68087 J. Logic Program. 3, 55-67 (1986). Reviewer: R.Nabert MSC: 68P20 68P05 68T15 × Cite Format Result Cite Review PDF Full Text: DOI