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