Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 2
Volume 2, Number 1, April 1985
- Ashok K. Chandra, David Harel:
Horn Clauses Queries and Generalizations. 1-15 - Keith L. Clark, Steve Gregory:
Notes on the Implementation of Parlog. 17-42 - Chris Mellish:
Some Global Optimizations for a Prolog Compiler. 43-66 - Maarten H. van Emden, M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs. 67-75
Volume 2, Number 2, July 1985
- Hiroshi Nakagawa:
Prolog Program Transformations and Tree Manipulation Algorithms. 77-91 - John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems. 93-109 - Melvin Fitting:
A Deterministic Prolog Fixpoint Semantics. 111-118 - Pierre Deransart, Jan Maluszynski:
Relating Logic Programs and Attribute Grammars. 119-155 - Van Tu Le:
General Failure of Logic Programs. 157-165
Volume 2, Number 3, October 1985
- Lee Naish:
Automating Control for Logic Programs. 167-183 - John C. Shepherdson:
Negation as Failure II. 185-202 - Thomas Vasak, John Potter:
Metalogical Control for Logic Programs. 203-220 - Patrizia Asirelli, Michele de Santis, Maurizio Martelli:
Integrity Constraints for Logic Databases. 221-232 - Krzysztof R. Apt:
Review of Foundations of Logic Programs. 233-234
Volume 2, Number 4, December 1985
- Jack Minker, Donald Perlis:
Computing Protected Circumscription. 235-249 - Dov M. Gabbay:
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. 251-283 - Van Tu Le:
Negation-As-Failure Rule for General Logic Programs With Equality. 285-294 - Melvin Fitting:
A Kripke-Kleene Semantics for Logic Programs. 295-312
a service of 
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-07-29 22:32 CEST 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:
