Conferences in DBLP
Shigeyuki Takagi , Toshio Yokoi , Shunichi Uchida , Toshiaki Kurokawa , Takashi Hattori , Takashi Chikayama , Kô Sakai , Junichiro Tsuji Overall design of SIMPOS. [Citation Graph (1, 0)][DBLP ] Conf ] Martin Nilsson Prolog as a Tool for Optimizing Prolog Unifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Jean François Pique Drawing Trees and their Equations in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten H. van Emden , John W. Lloyd A Logical Reconstruction of Prolog II. [Citation Graph (0, 0)][DBLP ] Conf ] Miklós Szöts A Comparison of two Logic Programming Languages: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Olga Stepánková , Petr Stepánek Computation Trees and Transformations of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael C. McCord Semantic Interpretation for the Epistle System. [Citation Graph (0, 0)][DBLP ] Conf ] Verónica Dahl On Gapping Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Hirakawa , Takashi Chikayama , Koichi Furukawa Eager and Lazy Enumerations in Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Lars-Henrik Erikson , Manny Rayner Incorporating Mutable Arrays into Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , José Meseguer Equality, Types, Modules and Generics for Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hisao Tamaki , Taisuke Sato Unfold/Fold Transformation of Logic Programs. [Citation Graph (6, 0)][DBLP ] Conf ] Michel Sintzoff Bounded-Horizon Success-Complete Restriction of Inference Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Plaisted An Efficient Bug Location Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Gary Lindstrom Or-Parallelism on Applicative Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Laxmikant V. Kalé , David Scott Warren A Class of Architectures for a Prolog Machine. [Citation Graph (1, 0)][DBLP ] Conf ] Jim A. Crammond , C. D. F. Miller An Architecture for Parallel Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Péter Kacsuk A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Berger-Sabbatel , W. Dang , J. C. Ianeselli , Gia Toan Nguyen Unification for a Prolog Data Base Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Pier Giorgio Bosco , G. Giandonato , Elio Giovannetti A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Leon Sterling Logical Levels of Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Anna-Lena Johansson Using Symmetry for the Derivation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Huaimin Sun , Liguo Wang A Model Theory of Logic Programming Methodology. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Wolfram , Michael J. Maher , Jean-Louis Lassez A Unified Treatment of Resolution Strategies for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Littleford A Mycin-Like Expert System in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Krysia Broda , Steve Gregory Parlog for Discrete Event Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , N. Alan Josephson Logic Programming by Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Katsuhiko Nakamura Associative Concurrent Evaluation of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Levy A Unification Algorithm for Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro A Memory Management Machine for Prolog Interpreter. [Citation Graph (0, 0)][DBLP ] Conf ] 