Conferences in DBLP
Robert A. Kowalski Directions for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jung-Herng Chang , Alvin M. Despain Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis. [Citation Graph (1, 0)][DBLP ] Conf ] Janice I. Glasgow , Michael A. Jenkins , Carl McCrosky User Defined Parallel Control Strategies in Nial. [Citation Graph (1, 0)][DBLP ] Conf ] Piotr Dembinski , Jan Maluszynski AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Zerksis D. Umrigar , Vijay Pitchumani An Experiment in Programming with Full First-Order Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Kenneth A. Bowen , Tobias Weinberg A Meta-Level Extension of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , David A. Plaisted Logic Programming cum Applicative Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Richard A. O'Keefe On the Treatment of Cuts in Prolog Source-Level Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Naish All Solutions Predicates in Prolog. [Citation Graph (2, 0)][DBLP ] Conf ] Jan Maluszynski , Henryk Jan Komorowski Unification-Free Execution of Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Hervé Gallaire Logic Programming: Further Developments. [Citation Graph (1, 0)][DBLP ] Conf ] Rosanna K. S. Lee , Randy Goebel Concurrent Prolog in a Multiprocess Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Toshihiko Miyazaki , Akikazu Takeuchi , Takashi Chikayama A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda , Takashi Chikayama Concurrent Prolog Compiler on Top of Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Levi , Catuscia Palamidessi The Declarative Semantics of Logical Read-Only Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Uday S. Reddy Narrowing as the Operational Semantics of Functional Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Richard A. O'Keefe Towards an Algebra for Constructing Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Mats Carlsson A Microcoded Unifier for Lisp Machine Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Fribourg SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin Pittomvils , Maurice Bruynooghe , Yves D. Willems Towards a Real-Time Garbage Collector for Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Sawamura , Taku Takeshima Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Jean H. Gallier , Stan Raatz Logic Programming and Graph Rewriting. [Citation Graph (1, 0)][DBLP ] Conf ] Philip T. Cox , Tomasz Pietrzykowski Surface Deduction: A Uniform Mechanism for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Chomicki , Naftaly H. Minsky Towards a Programming Environment for Large Prolog Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Harald Ganzinger , Michael Hanus Modular Logic Programming of Compilers. [Citation Graph (0, 0)][DBLP ] Conf ] Amitabh Srivastava , Don Oxley , Aditya Srivastava An(other) Integration of Logic and Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Narain A Technique for Doing Lazy Evaluation in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] 