default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th ICLP 1987: Melbourne, Victoria, Australia
- Jean-Louis Lassez:
Logic Programming, Proceedings of the Fourth International Conference, Melbourne, Victoria, Australia, May 25-29, 1987 (2 Volumes). MIT Press 1987, ISBN 0-262-12125-5
Warren Abstract Machine
- Jeffrey D. Gee, Stephen W. Melvin, Yale N. Patt:
Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer. ICLP 1987: 1-20 - Timothy G. Lindholm, Richard A. O'Keefe:
Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. ICLP 1987: 21-39 - Mats Carlsson:
Freeze, Indexing, and Other Implementation Issues in the WAM. ICLP 1987: 40-58 - Hans M. Mulder, Evan Tick:
A Performance Comparison between PLM and a M68020 PROLOG Processor. ICLP 1987: 59-73
Databases
- Laurent Vieille:
A Database-Complete Proof Procedure Based on SLD-Resolution. ICLP 1987: 74-103 - Domenico Saccà, Carlo Zaniolo:
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. ICLP 1987: 104-135 - Catherine Lassez, Ken McAloon, Graeme S. Port:
Stratification and Knowledge Based Management. ICLP 1987: 136-151 - Oded Shmueli, Shamim A. Naqvi:
Set Grouping and Layering in Horn Clause Programs. ICLP 1987: 152-177 - Lee Naish, James A. Thom, Kotagiri Ramamohanarao:
Concurrent Database Updates in PROLOG. ICLP 1987: 178-195
Constraints
- Joxan Jaffar, Spiro Michaylov:
Methodology and Implementation of a CLP System. ICLP 1987: 196-218 - Kenneth Kunen:
Answer Sets and Negation-as-Failure. ICLP 1987: 219-228 - Pascal Van Hentenryck, Mehmet Dincbas:
Forward Checking in Logic Programming. ICLP 1987: 229-256
Parallelism I
- M. Ichiyoshi, T. Miyazaki, Kazuo Taki:
A Distributed Implementation of Flat GHC on the Multi-PSI. ICLP 1987: 257-275 - Takashi Chikayama, Yasunori Kimura:
Multiple Reference Management in Flat GHC. ICLP 1987: 276-293 - Melissa Lam, Steve Gregory:
PARLOG and ALICE : A Marriage of Convenience. ICLP 1987: 294-310 - Ehud Shapiro:
An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. ICLP 1987: 311-337 - Masatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto:
KL1 Execution Model for PIM Cluster with Shared Memory. ICLP 1987: 338-355
Implementation Issues
- Kazunori Ueda:
Making Exhaustive Search Programs Deterministic, Part II. ICLP 1987: 356-375 - Hisao Tamaki:
Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. ICLP 1987: 376-393 - Hamid Bacha:
Meta-Level Programming: A Compiled Approach. ICLP 1987: 394-410 - Jonas Barklund, Håkan Millroth:
Hash Tables in Logic Programming. ICLP 1987: 411-427 - Carlo Cecchi, Dario Sartini, Luigia Carlucci Aiello:
Evaluating Logic Programs via Set-Valued Functions. ICLP 1987: 428-455
Language Issues
- Donald W. Loveland:
Near-Horn PROLOG. ICLP 1987: 456-469 - Akihiro Yamamoto:
A Theoretical Combination of SLD-Resolution and Narrowing. ICLP 1987: 470-487 - Richard Helm:
Inductive and Deductive Control of Logic Programs. ICLP 1987: 488-512 - Kemal Ebcioglu:
An Efficient Logic Programming Language and Its Application to Music. ICLP 1987: 513-532 - Shinichi Morishita, Masayuki Numao, Shin'ichi Hirose:
Symbolical Construction of Truth Value Domain for Logic Program. ICLP 1987: 533-555
Parallelism II
- Manuel V. Hermenegildo:
Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. ICLP 1987: 556-575 - Terry Disz, Ewing L. Lusk, Ross A. Overbeek:
Experiments with OR-Parallel Logic Programs. ICLP 1987: 576-600 - Peter Tinker, Gary Lindstrom:
A Performance-Oriented Design for OR-Parallel Logic Programming. ICLP 1987: 601-615 - Laxmikant V. Kalé:
The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. ICLP 1987: 616-632 - John S. Conery:
Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. ICLP 1987: 633-653
Applications
- Leon Sterling, Yossi Nygate:
PYTHON: An Expert Squeezer. ICLP 1987: 654-674 - Nevin Heintze, Spiro Michaylov, Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703 - Mark S. Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy:
Logical Secrets. ICLP 1987: 704-728
Program Analysis
- Richard A. O'Keefe:
Finite Fixed-Point Problems. ICLP 1987: 729-743 - Tadashi Kanamori, Kenji Horiuchi:
Construction of Logic Programs Based on Generalized Unfold/Fold Rules. ICLP 1987: 744-768 - Zoltan Somogyi:
A System of Precise Models for Logic Programs. ICLP 1987: 769-787 - Feliks Kluzniak:
Type Synthesis for Ground Prolog. ICLP 1987: 788-816 - Justin Zobel:
Derivation of Polymorphic Types for PROLOG Programs. ICLP 1987: 817-838
Concurrent Languages
- Eric Dean Tribble, Mark S. Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Shapiro:
Channels: A Generalization of Streams. ICLP 1987: 839-857 - Michael J. Maher:
Logic Semantics for a Class of Committed-Choice Programs. ICLP 1987: 858-876 - Giorgio Levi, Catuscia Palamidessi:
An Approach to the Declarative Semantics of Synchronization in Logic Languages. ICLP 1987: 877-893 - Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa:
An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1. ICLP 1987: 894-909 - Ian T. Foster:
Logic Operating System: Design Issues. ICLP 1987: 910-926
Invited Talks
- Keith L. Clark, Steve Gregory:
PARLOG and PROLOG United. ICLP 1987: 927-961 - Hervé Gallaire:
Boosting Logic Programming. ICLP 1987: 962-988 - Fernando C. N. Pereira:
Grammars and Logics of Partial Information. ICLP 1987: 989-1013 - Kotagiri Ramamohanarao, John Shepherd:
Answering Queries in Deductive Database Systems. ICLP 1987: 1014-1033 - Masahiko Sato:
Quty: A Concurrent Language Based on Logic and Function. ICLP 1987: 1034-1056
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-11 21:34 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:
