Conferences in DBLP
Luís Monteiro A Horn Clause-like Logic for Specifying Concurrency. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira Logic Control with Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Kenneth M. Kahn A Partial Evaluator of Lisp Programs Written in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth A. Bowen Concurrent Execution of Logic. [Citation Graph (0, 0)][DBLP ] Conf ] António Porto Epilog: A Language for Extended Programming in Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa , Katsumi Nitta , Yuji Matsumoto Prolog Interpreter Based on Concurrent Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Percebois , Jean-Paul Sansonnet A Lisp-machine to Implement Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe A Note on Garbage-Collection in Prolog Interpreters. [Citation Graph (1, 0)][DBLP ] Conf ] Maarten H. van Emden An Algorithm for Interpreting Prolog Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Hideyuki Nakashima Prolog/KR - Language Features. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Eisinger , Simon Kasif , Jack Minker Logic Programming: A Parallel Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Grumbach Knowledge Acquisition in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Lynette Hirschman , Karl Puder Restriction Grammar in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Upen S. Chakravarthy , Jack Minker , Duc Tran Interfacing Predicate Logic Languages and Relational Databases. [Citation Graph (5, 0)][DBLP ] Conf ] Richard Ennals Teaching Logic as a Computer Language in Schools. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Sebelík , Petr Stepánek Graphs as Data in Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Roach , Theodore D. Fuller A Prolog Simulation of Migration Decision Making in a Less Developed Country. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Skuce Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation. [Citation Graph (0, 0)][DBLP ] Conf ] Zsuzsa Farkas , Péter Szeredi , E. Sántáné-Tóth LDM: A Program Specification Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Maurice Bruynooghe Adding Redundancy to Obtain more Reliable and Readable Prolog Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Toshiaki Kurokawa Logic Programming - What Does it Bring to the Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Zsuzsanna Markusz , A. A. Kaposi A Design Methodology in Prolog Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Agneta Eriksson , Anna-Lena Johansson , Sten-Åke Tärnlund Towards a Derivation Editor. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Y. Shapiro Alternation and the Computational Complexity of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Howard A. Blair The Undecidability of Two Completeness Notions for the "Negation as Failure". [Citation Graph (0, 0)][DBLP ] Conf ] Taisuke Sato Negation and Semantics of Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto Barbuti , Pierpaolo Degano , Giorgio Levi Toward an Inductionless Technique for Proving Properties of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Harvey Abramson Unification-based Conditional Binding Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Paul H. Morris Relational Production Systems and Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Maluszynski , Jørgen Fischer Nilsson A Comparison of the Logic Programming Language Prolog with Two-levels Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , Paul Sabatier , Eugenio Oliveira ORBI - An Expert System for Environmental Resource Evaluation through Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Joubert , Marius Fieschi , D. Fieschi , M. Roux Medical Decision Aid: Logic Bases of the System SPHINX. [Citation Graph (0, 0)][DBLP ] Conf ] Jean François Pique On a Semantic Representation of Natural Language Sentences. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , António Porto A Prolog Implementation of a Large System on a Small Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Pasero A Dialogue in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Kave Eshghi Application of Meta-language Programming to Fault Finding in Logic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] 