A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming

[1]  Seif Haridi,et al.  A Formal Model for Or-Parallel Execution of Logic Programs , 1983, IFIP Congress.

[2]  Haruo Yokota,et al.  A relational data base machine: First step to knowledge base machine , 1983, ISCA '83.

[3]  Kave Eshghi.  Application of Meta-language Programming to Fault Finding in Logic Circuits , 1982, ICLP.

[4]  Alan Bundy,et al.  Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation , 1980, Artif. Intell..

[5]  Zsuzsanna Markusz.  How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic , 1977, IFIP Congress.

[6]  Philippe Roussel,et al.  Editing First-Order Proofs: Programmed Rules vs Derived Rules , 1984, SLP.

[7]  Alain Colmerauer,et al.  Last Steps Towards an Ultimate PROLOG , 1981, IJCAI.

[8]  Carlo Zaniolo,et al.  Object-Oriented Programming in Prolog , 1984, SLP.

[9]  Andrzej Lingas.  A Note on Computational Complexity of Logic Programs , 1983, Logic Programming Workshop.

[10]  Verónica Dahl,et al.  On database systems development through logic , 1982, TODS.

[11]  Patrizia Asirelli.  Some Aspects of the Static Semantics of Logic Programs with Monadic Functions , 1983, Logic Programming Workshop.

[12]  Ed Ashcroft,et al.  Some common misconceptions about Lucid , 1980, SIGP.

[13]  Edward P. Stabler.  Deterministic and Bottom-Up Parsing in Prolog , 1983, AAAI.

[14]  David H. D. Warren,et al.  Applied logic : its use and implementation as a programming tool , 1978 .

[15]  Sten-Åke Tärnlund,et al.  Deductive Modeling of Human Cognition , 1981, IJCAI.

[16]  Walter G. Wilson,et al.  Semantic Code Analysis , 1983, IJCAI.

[17]  M. H. van Emden.  An Algorithm for Interpreting Prolog Programs , 1982, ICLP.

[18]  James F. Allen,et al.  An overview of the HORNE logic programming system , 1983, SGAR.

[19]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[20]  Alain Colmerauer.  Prolog in 10 figures , 1985, CACM.

[21]  Paul H. Morris.  Relational Production Systems and Logic Programs , 1982, ICLP.

[22]  Hiroshi Nakagawa,et al.  AND Parallel PROLOG with Divided Assertion Set , 1984, SLP.

[23]  John S. Conery,et al.  The and/or process model for parallel interpretation of logic programs , 1983 .

[24]  Gerard Ballieu.  A Virtual Machine to Implement Prolog , 1983, Logic Programming Workshop.

[25]  Ehud Y. Shapiro.  Alternation and the Computational Complexity of Logic Programs , 1984, J. Log. Program..

[26]  Philip C. Treleaven,et al.  Japan's Fifth Generation Computer Systems , 1982, Computer.

[27]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[28]  Robert A. Kowalski.  Logic for Data Description , 1977, Logic and Data Bases.

[29]  Luís Moniz Pereira,et al.  A Prolog Implementation of a Large System on a Small Machine , 1982, ICLP.

[30]  Luís Moniz Pereira,et al.  Relational Data Bases 'à la carte' , 1983, Logic Programming Workshop.

[31]  Luís Monteiro,et al.  A Proposal for Distributed Programming in Logic , 1984, Implementations of Prolog.

[32]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[33]  Agneta Eriksson,et al.  Computer-based synthesis of logic programs , 1982, Symposium on Programming.

[34]  Kenneth M. Kahn,et al.  UNIFORM - A Language Based Upon Unification Which Unifies (much of) LISP, PROLOG, and ACT 1 , 1981, Logic Programming: Functions, Relations, and Equations.

[35]  Simon Kasif,et al.  Logic Programming on ZMOB: A Highly Parallel Machine , 1982, International Conference on Parallel Processing.

[36]  Philip C. Treleaven,et al.  The new generation of computer architecture , 1983, ISCA '83.

[37]  Derek R. Brough,et al.  Dataflow, Flowcharts, and "LUCID"-style Programming in Logic , 1984, SLP.

[38]  Robert A. Kowalski,et al.  Logic as a Database Language , 1984, BNCOD.

[39]  Maurice Bruynooghe,et al.  Solving Combinatorial Search Problems by Intelligent Backtracking , 1981, Inf. Process. Lett..

[40]  W. F. Clocksin,et al.  Introduction to Prolog. A fifth-generation language , 1983 .

[41]  António Porto,et al.  Natural Language Semantics: A Logic Programming Approach , 1984, SLP.

[42]  Adrian Walker.  Prolog/Ex 1, An Inference Engine Which Explains Both Yes and No Answers , 1983, IJCAI.

[43]  Hervé Gallaire,et al.  A Study of Prolog , 1983 .

[44]  Sten-Åke Tärnlund,et al.  An Axiomatic Data Base Theory , 1977, Logic and Data Bases.

[45]  Jonathan Allen.  ALGORITHMS, ARCHITECTURE, AND TECHNOLOGY , 1982 .

[46]  Jia-Huai You,et al.  Conceptual Basis and Evaluation Strategies for Integrating Functional and Logic Programming , 1984, SLP.

[47]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[48]  Verónica Dahl.  Logical Design Of Deductive Natural Language Consultable Data Bases , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[49]  Tamás Gergely,et al.  Cuttable Formulas for Logic Programming , 1984, SLP.

[50]  Camilla Schwind,et al.  Natural Language Access to PROLOG Database Systems , 1982, GWAI.

[51]  Peter G. Harrison.  Efficient Storage Management for Functional Languages , 1982, Comput. J..

[52]  António Porto,et al.  KBO1: A Knowledge Based Garden Store Assistant , 1983, Logic Programming Workshop.

[53]  Pierpaolo Degano,et al.  A First Order Semantics of a Connective Suitable to Express Concurrency , 1983, Logic Programming Workshop.

[54]  Verónica Dahl,et al.  Current Trends in Logic Grammars , 1983, Logic Programming Workshop.

[55]  Pierre Deransart,et al.  An Operational Algebraic Semantics of Prolog Programs , 1983, Logic Programming Workshop.

[56]  Luís Moniz Pereira,et al.  How to solve it with prolog , 1982 .

[57]  Jörg H. Siekmann,et al.  Universal Unification , 1982, GWAI.

[58]  E. W. Elcock.  How Complete Are Knowledge-Representation Systems? , 1983, Computer.

[59]  Marius Fieschi,et al.  Medical Decision Aid: Logic Bases of the System SPHINX , 1982, ICLP.

[60]  Shigeki Goto,et al.  LOGIC PROGRAMMING AND A DEDICATED HIGH-PERFORMANCE PERSONAL COMPUTER , 1982 .

[61]  Uday S. Reddy,et al.  Transformation of Logic Programs into Functional Programs , 1984, SLP.

[62]  Jean-Marie Nicolas,et al.  Data Base: Theory vs. Interpretation , 1977, Logic and Data Bases.

[63]  Alain Pirotte,et al.  High Level Data Base Query Languages , 1977, Logic and Data Bases.

[64]  Sten-Åke Tärnlund,et al.  Mechanization of an Oracle in a Debugging System , 1983, IJCAI.

[65]  Richard A. O'Keefe,et al.  Prolog compared with LISP? , 1983, SIGP.

[66]  Seif Haridi,et al.  An Or-Parallel Token Machine , 1983, Logic Programming Workshop.

[67]  Hozumi Tanaka,et al.  INTELLIGENT MAN-MACHINE INTERFACE , 1982 .

[68]  Harvey Abramson.  Definite Clause Translation Grammars , 1984, SLP.

[69]  Seif Haridi,et al.  Control of Activities in the Or-Parallel Token Machine (Abstract) , 1983, Logic Programming Workshop.

[70]  John W. Roach,et al.  A Prolog Simulation of Migration Decision Making in a Less Developed Country , 1982, ICLP.

[71]  P. Emanuelson,et al.  From abstract model to efficient compilation of patterns , 1982, Symposium on Programming.

[72]  Sharon Sickel.  Invertibility of Logic Programs. , 1978 .

[73]  Péter Szeredi,et al.  The Application of Prolog to the Development of QA and DBM Systems , 1977, Logic and Data Bases.

[74]  Roberto Barbuti,et al.  On the Integration of Logic Programming and Functional Programming , 1984, SLP.

[75]  Laxmikant V. Kalé,et al.  Executing Distributed Prolog Programs on a Broadcast Network , 1984, International Conference on Spoken Language Processing.

[76]  Ferenc Darvas,et al.  A Logic-Based Expert System for Model Building in Regression Analysis , 1983, Logic Programming Workshop.

[77]  Kotagiri Ramamohanarao,et al.  Partial-match retrieval for dynamic files , 1982, BIT.

[78]  Philip C. Treleaven.  FIFTH GENERATION COMPUTER ARCHITECTURE ANALYSIS , 1982 .

[79]  Sten-Åke Tärnlund,et al.  A Natural Programming Calculus , 1979, IJCAI.

[80]  Dennis F. Kibler,et al.  AND Parallelism in Logic Programs , 1983, IJCAI.

[81]  Lisa Hellerstein,et al.  Implementing Parallel Algorithms in Concurrent Prolog: The MAXFLOW Experience , 1984, SLP.

[82]  Chin-Liang Chang.  DEDUCE 2: Further Investigations of Deduction in Relational Data Bases , 1977, Logic and Data Bases.

[83]  Bruce Smith.  Logic Programming on an FFP Machine , 1984, SLP.

[84]  L. R. Harris.  Fifth generation foundations , 1983 .

[85]  Douglas R. Skuce.  Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation , 1982, ICLP.

[86]  Simon Kasif,et al.  Parallel problem solving on ZMOB , 1983 .

[87]  Tom Khabaza.  Negation as Failure and Parallelism , 1984, SLP.

[88]  William F. Clocksin,et al.  Programming in Prolog , 1981, Springer Berlin Heidelberg.

[89]  Hideyuki Nakashima.  Knowledge representation in Prolog/KR , 1984, SLP.

[90]  Robert C. Moore.  Problems in Logical Form , 1981, ACL.

[91]  L. Baxter.  The versatility of PROLOG , 1980, SIGP.

[92]  Harvey Abramson.  Unification-based Conditional Binding Constructs , 1982, ICLP.

[93]  Michael J. Maher,et al.  The Denotational Semantics of Horn Clauses as a Production System , 1983, AAAI.

[94]  David H. D. Warren,et al.  An Efficient Easily Adaptable System for Interpreting Natural Language Queries , 1982, CL.

[95]  Kenneth A. Bowen.  Concurrent Execution of Logic , 1982, ICLP.

[96]  Norbert Eisinger,et al.  Logic Programming: A Parallel Approach , 1982, ICLP.

[97]  Hiroshi G. Okuno,et al.  TAO: a harmonic mean of Lisp, Prolog and Smalltalk , 1983, SIGP.

[98]  Giorgio Levi,et al.  Applicative communicating processes in first order logic , 1982, Symposium on Programming.

[99]  Mario Tokoro,et al.  NEW ARCHITECTURES FOR INFERENCE MECHANISMS , 1982 .

[100]  Zsuzsanna Markusz,et al.  A Design Methodology in Prolog Programming , 1982, ICLP.

[101]  Akikazu Takeuchi,et al.  Interprocess Communication in Concurrent Prolog , 1983, Logic Programming Workshop.

[102]  Hisao Tamaki,et al.  Semantics of a Logic Programming Language with a Reducibility Predicate , 1984, SLP.

[103]  Ehud Shapiro,et al.  Methodology of Logic Programming , 1983, Logic Programming Workshop.

[104]  David H. D. Warren,et al.  Definite Clause Grammars for Language Analysis - A Survey of the Formalism and a Comparison with Augmented Transition Networks , 1980, Artif. Intell..

[105]  Naoyuki Tamura,et al.  Implementing Parallel Prolog on a Multiprocessor Machine , 1984, International Conference on Spoken Language Processing.

[106]  Christine A. Montgomery,et al.  The Active Information System: A Data-Driven System for the Analysis of Imprecise Data , 1981, VLDB.

[107]  M. H. van Emden,et al.  Computation and Deductive Information Retrieval , 1977, Formal Description of Programming Concepts.

[108]  Taisuke Sato,et al.  SYSP: A New Programming Language for the Next Generation , 1979, IJCAI.

[109]  Ivan Bratko,et al.  An Experiment in Automatic Synthesis of Expert Knowledge Through Qualitative Modelling , 1983, Logic Programming Workshop.

[110]  Philip C. Treleaven,et al.  VLSI Processor Architectures , 1982, Computer.

[111]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[112]  Kazuhiro Fuchi.  AIMING FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS , 1982 .

[113]  Lynette Hirschman,et al.  Restriction Grammar in Prolog , 1982, International Conference on Logic Programming.

[114]  Simon Kasif,et al.  PRISM - A Parallel Inference System for Problem Solving , 1983, Logic Programming Workshop.

[115]  Jean François Pique.  On a Semantic Representation of Natural Language Sentences , 1982, ICLP.

[116]  Luís Moniz Pereira.  Logic Control with Logic , 1982, Implementations of Prolog.

[117]  Verónica Dahl.  Logic Programming as a Representation of Knowledge , 1983, Computer.

[118]  Koichiro Tamura,et al.  A parallel execution model of logic programs , 1983, ISCA '83.

[119]  Hisao Tamaki,et al.  Enumeration of Success Patterns in Logic Programs , 1983, Theor. Comput. Sci..

[120]  Maurice Bruynooghe.  Intelligent backtracking for an interpreter of Horn clause logic programs , 1978 .

[121]  K. M. Kahn.  The implementation of UNIFORM—a knowledge-representation/programming language based upon equivalence of descriptions , 1985 .

[122]  Yuji Matsumoto,et al.  Prolog Interpreter Based on Concurrent Programming , 1982, ICLP.

[123]  Robert Pasero,et al.  A Dialogue in Natural Language , 1982, ICLP.

[124]  Gilles Kahn.  THE SCOPE OF SYMBOLIC COMPUTATION , 1982 .

[125]  E. W. Elcock,et al.  Knowledge Representation in an Efficient Deductive Inference System , 1983, Logic Programming Workshop.

[126]  Shunichi Uchida,et al.  Inference machine: From sequential to parallel , 1983, ISCA '83.

[127]  Roberto Barbuti,et al.  Toward an Inductionless Technique for Proving Properties of Logic Programs , 1982, International Conference on Logic Programming.

[128]  Michael J. Wise,et al.  A parallel Prolog: The construction of a data driven model , 1982, LFP '82.

[129]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[130]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[131]  John W. Backus,et al.  Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.

[132]  Leon Sterling,et al.  Meta-level inference in Algebra , 1981 .

[133]  Christian Percebois,et al.  A Lisp-machine to Implement Prolog , 1982, ICLP.

[134]  William A. Kornfeld.  Equality for Prolog , 1983, IJCAI.

[135]  Raymond Reiter,et al.  Deductive Question-Answering on Relational Data Bases , 1977, Logic and Data Bases.

[136]  J. R. Ennals.  Beginning Micro: PROLOG , 1983 .

[137]  Patrick Saint-Dizier.  Modelling Human-Computer Interactions in a Friendly Interface , 1983, Logic Programming Workshop.

[138]  Kamran Parsaye.  Database Management, Knowledge Base Management, and Expert System Development in PROLOG , 1983, Logic Programming Workshop.

[139]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[140]  Sten-Åke Tärnlund,et al.  Towards a Derivation Editor , 1982, ICLP.

[141]  Giorgio Levi,et al.  On the Fixed-Point Semantics of Horn Clauses with Infinite Terms , 1983, Logic Programming Workshop.

[142]  T. Pietrzwkowski.  PROGRAPH as an Environment for Prolog DB Applications , 1983, Logic Programming Workshop.

[143]  Ehud Y. Shapiro.  An Algorithm that Infers Theories from Facts , 1981, IJCAI.

[144]  David H. D. Warren,et al.  Efficient Processing of Interactive Relational Data Base Queries expressed in Logic , 1981, VLDB.

[145]  Michael J. Wise.  EPILOG = PROLOG + Data Flow: arguments for combining PROLOG with a data driven mechanism , 1982, SIGP.

[146]  John W. Lloyd,et al.  A Logical Reconstruction of Prolog II , 1984, J. Log. Program..

[147]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[148]  Jack Minker,et al.  Intelligent Control Using Integrity Constraints , 1983, AAAI.

[149]  Prakash Panangaden,et al.  Stream-Based Execution of Logic Programming , 1984, SLP.

[150]  Masahiko Sato,et al.  Qute: A Prolog/Lisp Type Language for Logic Programming , 1983, IJCAI.

[151]  Joxan Jaffar,et al.  Completeness of the Negation as Failure Rule , 1983, IJCAI.

[152]  Miguel Filgueiras.  A Prolog Interpreter Working with Infinite Terms , 1984, Implementations of Prolog.

[153]  Jack Minker,et al.  An Overview and Introduction to Logic and Data Bases , 1977, Logic and Data Bases.

[154]  Stan Matwin,et al.  Intelligent Backtracking in Plan-Based Deduction , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[155]  Daniel L. Chester.  HCPRVR: An Interpreter for Logic Programs , 1980, AAAI.

[156]  Verónica Dahl.  Translating Spanish into Logic through Logic , 1981, Am. J. Comput. Linguistics.

[157]  Keith L. Clark,et al.  A First Order Theory of Data and Programs , 1977, IFIP Congress.

[158]  Walter W. Wilson,et al.  Beyond PROLOG: software specification by grammar , 1982, SIGP.

[159]  Luís Moniz Pereira,et al.  Selective Backtracking for Logic Programs , 1980, CADE.

[160]  Akikazu Takeuchi,et al.  THE PRELIMINARY RESEARCH OF DATA FLOW MACHINE AND DATA BASE MACHINE AS THE BASIC ARCHITECTURE OF FIFTH GENERATION COMPUTER SYSTEMS , 1982 .

[161]  Salvatore J. Stolfo,et al.  PROLOG on the DADO Machine: A Parallel System For High-Speed Logic Programming , 1983 .

[162]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[163]  António Porto.  Epilog: A Language for Extended Programming in Logic , 1984, Implementations of Prolog.

[164]  Christopher D. S. Moss.  Computing with Sequences , 1983, Logic Programming Workshop.

[165]  Salvatore J. Stolfo,et al.  Logic Programming Using Parallel Associative Operations , 1984, SLP.

[166]  Shigeki Goto.  DURAL: an Extended Prolog Language , 1982, RIMS Symposium on Software Science and Engineering.

[167]  David H. D. Warren.  Logic programming and compiler writing , 1980, Softw. Pract. Exp..

[168]  Maurice Bruynooghe,et al.  Revision of top-down logical reasoning through intelligent backtracking , 1981 .

[169]  Richard Ennals.  Teaching Logic as a Computer Language in Schools , 1982, ICLP.

[170]  Alain Colmerauer,et al.  Metamorphosis Grammars , 1978, Natural Language Communication with Computers.

[171]  Werner Dilger,et al.  The Predicate Calculus-Language KS as a Query Language , 1977, Logic and Data Bases.

[172]  Dennis F. Kibler,et al.  Efficient Logic Programs: A Research Proposal , 1981 .

[173]  M. Howard Williams,et al.  Towards a Co-operative Data Base Management System , 1983, Logic Programming Workshop.

[174]  Prateek Mishra,et al.  Towards a Theory of Types in Prolog , 1984, SLP.

[175]  Ehud Y. Shapiro,et al.  Playing mastermind logically , 1983, SGAR.

[176]  Kenneth M. Kahn,et al.  A Partial Evaluator of Lisp Programs Written in Prolog , 1982, ICLP.

[177]  Christopher J. Hogger,et al.  Derivation of Logic Programs , 1981, JACM.

[178]  Daniel Taupin.  The ALGOL 68 compiler of Paris-XI University (Orsay) , 1977 .

[179]  Zsuzsanna Markusz.  Knowledge Representation of Design in Many-Sorted Logic , 1981, IJCAI.

[180]  Drew McDermott,et al.  The prolog phenomenon , 1980, SGAR.

[181]  Koichi Furukawa,et al.  KNOWLEDGE BASE MECHANISMS , 1982 .

[182]  Robert A. Kowalski,et al.  The Semantics of Predicate Logic as a Programming Language , 1976, JACM.

[183]  Maurice Bruynooghe.  A Note on Garbage-Collection in Prolog Interpreters , 1982, ICLP.

[184]  Maurice Bruynooghe.  Some Reflexions on Implementation Issues of Prolog , 1983, Logic Programming Workshop.

[185]  Nguyen the Thanh,et al.  Indirect Threaded Code used to emulate a virtual machine , 1982, SIGP.

[186]  Miguel Filgueiras.  A Kernel for a General Natural Language Interface , 1983, Logic Programming Workshop.

[187]  Wolfgang Bibel.  LOGICAL PROGRAM SYNTHESIS , 1982 .

[188]  Jack Minker.  An Experimental Relational Data Base System Based on Logic , 1977, Logic and Data Bases.

[189]  Shigeki Goto,et al.  PROBLEM SOLVING AND INFERENCE MECHANISMS , 1982 .

[190]  Chris Mellish,et al.  Integrating Prolog Into the Poplog Environment , 1983, IJCAI.

[191]  Alan R. Feuer.  Building Libraries in Prolog , 1983, IJCAI.

[192]  Alain Colmerauer,et al.  Prolog en 10 figures , 1983, SPLT.

[193]  Toshiaki Kurokawa.  Logic Programming - What Does it Bring to the Software Engineering , 1982, ICLP.

[194]  Ivan Futó,et al.  A modelling tool based on mathematical logic T-PROLOG , 1981, Acta Cybern..

[195]  Marco Colombetti,et al.  Nondeterministic Languages Used for the Definition of Data Models , 1977, Logic and Data Bases.

[196]  Alexander Herold.  Universal Unification and a Class of Equational Theories , 1982, GWAI.

[197]  Dennis F. Kibler,et al.  Parallel interpretation of logic programs , 1981, FPCA '81.

[198]  Hervé Gallaire.  Logical Data Bases vs Deductive Data Bases , 1983, Logic Programming Workshop.

[199]  Fernando Carlos Neves Pereira,et al.  Logic for natural language analysis , 1982 .

[200]  Péter Szeredi,et al.  LDM: A Program Specification Support System , 1982, ICLP.

[201]  C. Cohen.  Fifth-generation hardware takes shape , 1983 .

[202]  Lawrence Birnbaum,et al.  The organization of expert systems: A prescriptive tutorial , 1982 .

[203]  António Porto.  Logical Action Systems , 1983, Logic Programming Workshop.

[204]  Jan Chomicki,et al.  A Data Base Support System for Prolog , 1983, Logic Programming Workshop.

[205]  J A Robinson,et al.  Logic Programming in LISP. , 1981 .

[206]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[207]  Fernando Pereira,et al.  Extraposition Grammars , 1981, Am. J. Comput. Linguistics.

[208]  Robert A. Kowalski,et al.  A Proof Procedure Using Connection Graphs , 1975, JACM.

[209]  Neil D. Jones,et al.  Stepwise Development of Operational and Denotational Semantics for Prolog , 1984, International Conference on Spoken Language Processing.

[210]  Luís Monteiro.  A Horn Clause-like Logic for Specifying Concurrency , 1982, ICLP.

[211]  W. F. Clocksin,et al.  A Portable Prolog Compiler , 1983, Logic Programming Workshop.

[212]  Petr Stepánek,et al.  Graphs as Data in Prolog Programs , 1982, ICLP.

[213]  Christopher D. S. Moss,et al.  How to define a language using PROLOG , 1982, LFP '82.

[214]  Brian H. Mayoh.  The Meaning of Logical Programs , 1980 .

[215]  M. H. van Emden,et al.  Programming with Verification Conditions , 1979, IEEE Transactions on Software Engineering.

[216]  Kenneth M. Kahn,et al.  A Primitive for the Control of Logic Programs , 1984, SLP.

[217]  F Darvas,et al.  Logic-based program system for predicting drug interactions. , 1978, International journal of bio-medical computing.

[218]  Hideo Aiso.  FIFTH GENERATION COMPUTER ARCHITECTURE , 1982 .

[219]  Pierpaolo Degano,et al.  The call-by-name semantics of a clause language with functions , 1982 .

[220]  Raymond Reiter.  On Closed World Data Bases , 1977, Logic and Data Bases.

[221]  David Gelernter.  A Note on Systems Programming in Concurrent Prolog , 1984, SLP.

[222]  Marek Sergot,et al.  A Query-the-User Facility for Logic Programming , 1984, ECICS.

[223]  Bonnie L. Webber,et al.  Logic and Natural Language , 1983, Computer.

[224]  Koichi Furukawa,et al.  A Methodology for Implementation of a Knowledge Acquisition System , 1984, SLP.

[225]  Taisuke Sato.  Negation and Semantics of Prolog Programs , 1982, ICLP.

[226]  Robert A. Kowalski,et al.  Logic and semantic networks , 1979, CACM.

[227]  Alan Mycroft,et al.  A Polymorphic Type System for Prolog , 1984, Logic Programming Workshop.

[228]  Kuniaki Uehara,et al.  A Bottom-Up Parser Based on Predicate Logic: A Survey of the Formalism and its Implementation Technique , 1984, SLP.

[229]  Tohru Moto-Oka,et al.  Overview to the Fifth Generation Computer System project , 1983, ISCA '83.

[230]  Giorgio Levi,et al.  On Compiling Prolog Programs on Demand Driven Architectures , 1983, Logic Programming Workshop.

[231]  Maurice Bruynooghe,et al.  The memory management of PROLOG implementations , 1980 .

[232]  Richard S. Wallace.  An easy implementation of PiL (Prolog in Lisp) , 1983, SGAR.

[233]  Maurice Bruynooghe.  Adding Redundancy to Obtain more Reliable and Readable Prolog Programs , 1982, ICLP.

[234]  Alan L. Rector,et al.  "Logal": Algorithmic Control Structures for Prolog , 1983, IJCAI.