default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 4
Volume 4, Number 1, March 1987
- Luis Fariñas del Cerro, Martti Penttonen:
A Note of the Complexity of the Satisfiability of Modal Horn Clauses. 1-10 - Melvin Fitting:
Enumeration Operators and Modular Logic Programming. 11-21 - Allen Van Gelder:
Efficient Loop Detection in Prolog using the Tortoise-and-Hare Technique. 23-31 - Philip T. Cox:
On Determining the Cause of Nonunifiability. 33-58 - W. F. Clocksin:
Logic Programming and Digital Circuit Analysis. 59-82 - Richard Helm, Kim Marriott:
Book Review: Prolog for Programmers, by Feliks Kluzniak and Stanislaw Szpakowicz. 83-84
Volume 4, Number 2, June 1987
- Atsushi Togashi, Shoichi Noguchi:
A Program Transformation from Equational Programs into Logic Programs. 85-103 - Alon Itai, Johann A. Makowsky:
Unification as a Complexity Measure for Logic Programming. 105-117 - Jean H. Gallier, Stan Raatz:
Hornlog: A Graph-Based Interpreter for General Horn Clauses. 119-155 - Christopher T. Haynes:
Logic Continuations. 157-176
Volume 4, Number 3, September 1987
- Gérard Ferrand:
Error Diagnosis in Logic Programming, an Adaption of E. Y. Shapiro's Method. 177-198 - Mehmet Dincbas, Pascal Van Hentenryck:
Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. 199-227 - Tomasz Imielinski:
Intelligent Query Answering in Rule Based Systems. 229-257 - Isaac Balbin, Kotagiri Ramamohanarao:
A Generalization of the Differential Approach to Recursive Query Evaluation. 259-262
Volume 4, Number 4, December 1987
- Maarten H. van Emden, Keitaro Yukawa:
Logic Programming with Equations. 265-288 - Kenneth Kunen:
Negation in Logic Programming. 289-308 - Bijan Arbab, Daniel M. Berry:
Operational and Denotational Semantics of Prolog. 309-329 - John W. Lloyd, Liz Sonenberg, Rodney W. Topor:
Integrity Constraint Checking in Stratified Databases. 331-343 - Derek R. Brough, Christopher J. Hogger:
Compiling Associativity into Logic Programs. 345-359
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 2025-01-18 00:51 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:
