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 ] Conf ] Timothy G. Lindholm , Richard A. O'Keefe Efficient Implementation of a Defensible Semantics for Dynamic PROLOG Code. [Citation Graph (1, 0)][DBLP ] Conf ] Mats Carlsson Freeze, Indexing, and Other Implementation Issues in the WAM. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Mulder , Evan Tick A Performance Comparison between PLM and a M68020 PROLOG Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Vieille A Database-Complete Proof Procedure Based on SLD-Resolution. [Citation Graph (9, 0)][DBLP ] Conf ] Domenico Saccà , Carlo Zaniolo Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. [Citation Graph (13, 0)][DBLP ] Conf ] Catherine Lassez , Ken McAloon , Graeme S. Port Stratification and Knowledge Based Management. [Citation Graph (2, 0)][DBLP ] Conf ] Oded Shmueli , Shamim A. Naqvi Set Grouping and Layering in Horn Clause Programs. [Citation Graph (6, 0)][DBLP ] Conf ] Lee Naish , James A. Thom , Kotagiri Ramamohanarao Concurrent Database Updates in PROLOG. [Citation Graph (4, 0)][DBLP ] Conf ] Joxan Jaffar , Spiro Michaylov Methodology and Implementation of a CLP System. [Citation Graph (1, 0)][DBLP ] Conf ] Kenneth Kunen Answer Sets and Negation-as-Failure. [Citation Graph (1, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Mehmet Dincbas Forward Checking in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ichiyoshi , T. Miyazaki , Kazuo Taki A Distributed Implementation of Flat GHC on the Multi-PSI. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Chikayama , Yasunori Kimura Multiple Reference Management in Flat GHC. [Citation Graph (0, 0)][DBLP ] Conf ] Melissa Lam , Steve Gregory PARLOG and ALICE : A Marriage of Convenience. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Y. Shapiro An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Kazunori Ueda Making Exhaustive Search Programs Deterministic, Part II. [Citation Graph (0, 0)][DBLP ] Conf ] Hisao Tamaki Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hamid Bacha Meta-Level Programming: A Compiled Approach. [Citation Graph (1, 0)][DBLP ] Conf ] Jonas Barklund , Håkan Millroth Hash Tables in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Cecchi , Dario Sartini , Luigia Carlucci Aiello Evaluating Logic Programs via Set-Valued Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Donald W. Loveland Near-Horn PROLOG. [Citation Graph (0, 0)][DBLP ] Conf ] Akihiro Yamamoto A Theoretical Combination of SLD-Resolution and Narrowing. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Helm Inductive and Deductive Control of Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Kemal Ebcioglu An Efficient Logic Programming Language and Its Application to Music. [Citation Graph (0, 0)][DBLP ] Conf ] Shinichi Morishita , Masayuki Numao , Shin'ichi Hirose Symbolical Construction of Truth Value Domain for Logic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel V. Hermenegildo Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Terry Disz , Ewing L. Lusk , Ross A. Overbeek Experiments with OR-Parallel Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Tinker , Gary Lindstrom A Performance-Oriented Design for OR-Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Laxmikant V. Kalé The REDUCE-OR Process Model for Parallel Evaluation of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] John S. Conery Implementing Backward Execution in Non-Deterministic AND-Parallel Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Sterling , Yossi Nygate PYTHON: An Expert Squeezer. [Citation Graph (0, 0)][DBLP ] Conf ] Nevin Heintze , Spiro Michaylov , Peter J. Stuckey CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Miller , Daniel G. Bobrow , Eric Dean Tribble , Jacob Levy Logical Secrets. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. O'Keefe Finite Fixed-Point Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Kanamori , Kenji Horiuchi Construction of Logic Programs Based on Generalized Unfold/Fold Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Zoltan Somogyi A System of Precise Models for Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Feliks Kluzniak Type Synthesis for Ground Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Justin Zobel Derivation of Polymorphic Types for PROLOG Programs. [Citation Graph (1, 0)][DBLP ] 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 ] Conf ] Michael J. Maher Logic Semantics for a Class of Committed-Choice Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Giorgio Levi , Catuscia Palamidessi An Approach to the Declarative Semantics of Synchronization in Logic Languages. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Ian T. Foster Logic Operating System: Design Issues. [Citation Graph (0, 0)][DBLP ] Conf ] Keith L. Clark , Steve Gregory PARLOG and PROLOG United. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Gallaire Boosting Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando C. N. Pereira Grammars and Logics of Partial Information. [Citation Graph (0, 0)][DBLP ] Conf ] Kotagiri Ramamohanarao , John Shepherd Answering Queries in Deductive Database Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Masahiko Sato Quty: A Concurrent Language Based on Logic and Function. [Citation Graph (0, 0)][DBLP ] Conf ] 