default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 1
Volume 1, Number 1, June 1984
- John Alan Robinson:
Editor's Introduction. 1-2 - Lars-Henrik Eriksson:
Synthesis of a Unification Algorithm in a Logic Programming Calculus. 3-18 - Ehud Y. Shapiro:
Alternation and the Computational Complexity of Logic Programs. 19-33 - Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell:
On the Sequential Nature of Unification. 35-50 - John C. Shepherdson:
Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption. 51-79 - Michael D. Poe, Roger Nasr, Janett Potter, Janet Slinn:
A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming. 81-142
Volume 1, Number 2, August 1984
- Maarten H. van Emden, John W. Lloyd:
A Logical Reconstruction of Prolog II. 143-149 - Leon Sterling:
Logical Levels of Problem Solving. 151-163 - Laurent Fribourg:
Oriented Equational Clauses as a Programming Language. 165-177 - Joseph A. Goguen, José Meseguer:
Equality, Types, Modules, and (Why not ?) Generics for Logic Programming. 179-210
Volume 1, Number 3, October 1984
- Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher:
A Theory of Complete Logic Programs with Equality. 211-223 - John W. Lloyd, Rodney W. Topor:
Making Prolog more Expressive. 225-240 - György E. Révész:
An Extension of Lambda-Calculus for Functional Programming. 241-251 - Francis Giannesini, Jacques Cohen:
Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. 253-265 - William F. Dowling, Jean H. Gallier:
Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. 267-284
Volume 1, Number 4, December 1984
- Katsuhiko Nakamura:
Associative Concurrent Evaluation of Logic Programs. 285-295 - Lee Naish:
Heterogeneous SLD Resolution. 297-303 - Olga Stepánková, Petr Stepánek:
Transformations of Logic Programs. 305-318 - Dov M. Gabbay, Uwe Reyle:
N-Prolog: An Extension of Prolog with Hypothetical Implications I. 319-355
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-19 20:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
