default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SLP 1987: San Francisco, California
- Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31 - September 4, 1987. IEEE-CS 1987, ISBN 0-8186-0799-8
Language Issues
- Martín Abadi, Zohar Manna:
Temporal Logic Programming. SLP 1987: 4-16 - Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr:
Le Fun: Logic, Equations and Functions. SLP 1987: 17-23 - Weidong Chen:
A Theory of Modules Based on Second-Order Logic. SLP 1987: 24-33 - Martin Huber, Igor Varsek:
Extended Prolog for Order-Sorted Resolution. SLP 1987: 34-43
Parallelism in Prolog
- Terry Disz, Ewing L. Lusk:
A Graphical Tool for Observing the Behavior of Parallel Logic Programs. SLP 1987: 46-53 - Kish Shen, David H. D. Warren:
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog. SLP 1987: 45-68 - Bogumil Hausman, Andrzej Ciepielewski, Seif Haridi:
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors. SLP 1987: 69-79 - Doug DeGroot:
Restricted And-Parallelism and Side Effects. SLP 1987: 80-89
Inivted Talk
- David H. D. Warren:
The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues. SLP 1987: 92-102
Architecture, Parallel Models
- Hiroshi Nakashima, Katsuto Nakajima:
Hardware Architecture of the Sequential Inference Machine: PSI-II. SLP 1987: 104-113 - Hervé J. Touati, Alvin M. Despain:
An Empirical Study of the Warren Abstract Machine. SLP 1987: 114-124 - Laxmikant V. Kalé:
'Completeness' and 'Full Parallelism' of Parallel Logic Programming Schemes. SLP 1987: 125-133 - William H. Winsborough:
Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of Failures. SLP 1987: 134-152
Theory, Semantics
- Howard A. Blair:
Canoncical Conservative Extensions of Logic Program Completions. SLP 1987: 154-161 - Pierre Deransart, Gérard Ferrand:
An Operational Formal Definition of PROLOG. SLP 1987: 162-172 - V. S. Subrahmanian:
On the Semantics of Quantitative Logic Programs. SLP 1987: 173-182 - Philip T. Cox, Tomasz Pietrzykowski:
General Diagnosis by Abductive Inference. SLP 1987: 183-189
Program Analysis, Methodology
- Maurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen:
Abstract Interpretation: Towards the Global Optimization of Prolog Programs. SLP 1987: 192-204 - Heikki Mannila, Esko Ukkonen:
Flow Analysis of Prolog Programs. SLP 1987: 205-214 - Hirohisa Seki, Koichi Furukawa:
Notes on Transformation Techniques for Generate and Test Logic Programs. SLP 1987: 215-223 - Akira Okumura, Yuji Matsumoto:
Parallel Programming with Layered Streams. SLP 1987: 224-232
Databases
- Helmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer:
Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration. SLP 1987: 234-243 - Eyal Mozes:
A Deductive Database Based on Aristotelian Logic. SLP 1987: 244-252 - Mark Wallace:
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. SLP 1987: 253-263 - Suzanne W. Dietrich:
Extension Tables: Memo Relations in Logic Programming. SLP 1987: 264-272
Invited Talk
- Takashi Chikayama:
Parallel Inference System Researches in the FGCS Project. SLP 1987: 274-276
Program Development
- Yukihide Takayama:
Writing Programs as QJ Proof and Compiling into Prolog Programs. SLP 1987: 278-287 - Matthew M. Huntbach:
Algorithmic PARLOG Debugging. SLP 1987: 288-297 - Nachum Dershowitz, Yuh-Jeng Lee:
Deductive Debugging. SLP 1987: 298-306 - Saumya K. Debray:
Flow Analysis of a Simple Class of Dynamic Logic Programs. SLP 1987: 307-316
Semantics, Languages
- Giorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso:
A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial Functions. SLP 1987: 318-327 - D. W. Shin, Jong H. Nang, Sangki Han, Seungryul Maeng:
A Functional Logic Language Based on Canonical Unification. SLP 1987: 328-334 - Steffen Hölldobler:
Equational Logic Programming. SLP 1987: 335-346 - Vijay A. Saraswat:
GHC: Operational Semantics, Problems, and Relationships with CP(|, |). SLP 1987: 347-358
Methodology
- Walter G. Wilson:
Concurrent Alpha-Beta: A Study in Concurrent Logic Programming. SLP 1987: 360-367 - Donald Sannella, Lincoln A. Wallen:
A Calculus for the Construction of Modular Prolog Programs. SLP 1987: 368-378 - Dale Miller, Gopalan Nadathur:
A Logic Programming Approach to Manipulating Formulas and Programs. SLP 1987: 379-388 - Wlodzimierz Drabent:
Do Logic Programs Resemble Programs in Conventional Languages? SLP 1987: 289-396
Implementations
- Chenxi Zhang, Tzu Yungui, Liangliang Li, Yunfa Hu:
Implementation of a Prolog Code Database and Source Database in Compiler-Based Systems. SLP 1987: 398-405 - Vipin Kumar, Yow-Jian Lin:
An Intelligent Backtracking Scheme for Prolog. SLP 1987: 406-414 - Jonas Barklund, Håkan Millroth:
Integrating Complex Data Structures in Prolog. SLP 1987: 415-425 - Michael M. Gorlick, Carl Kesselman:
Timing Prolog Programs without Clock. SLP 1987: 426-434
Parallel Machines
- Harald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre:
The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism. SLP 1987: 436-448 - Khayri A. M. Ali:
A Method for Implementing Cut in Parallel Execution of Prolog. SLP 1987: 449-456 - John S. Conery:
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors. SLP 1987: 457-467 - Yasunori Kimura, Takashi Chikayama:
An Abstract KL1 Machine and Its Instruction Set. SLP 1987: 468-477
Applications I
- Hayato Ohwada, Fumio Mizoguchi:
Qualitative Simulation in Parallel Logic Programming. SLP 1987: 480-489 - William R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain:
Experience with Prolog as a Hardware Specification Language. SLP 1987: 490-498 - Stan Matwin, Stan Szpakowicz, Gregory E. Kersten, Wojtek Michalowski, Zbig Koperczak:
A Logic-Based Tools for Negotiation Support. SLP 1987: 499-506
Applications II
- Peter B. Reintjes:
AUNT: A Universal Netlist Translator. SLP 1987: 508-515 - Mitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori:
An Evaluation of the FGHC via Practical Application Programs. SLP 1987: 516-525
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-10-31 20:02 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:
