Abstract is missing.
- Temporal Logic ProgrammingMartín Abadi, Zohar Manna. 4-16
- Le Fun: Logic, Equations and FunctionsHassan Aït-Kaci, Patrick Lincoln, Roger Nasr. 17-23
- A Theory of Modules Based on Second-Order LogicWeidong Chen. 24-33
- Extended Prolog for Order-Sorted ResolutionMartin Huber, Igor Varsek. 34-43
- A Simulation Study of the Argonne Model for Or-Parallel Execution of PrologKish Shen, David H. D. Warren. 45-68
- A Graphical Tool for Observing the Behavior of Parallel Logic ProgramsTerry Disz, Ewing L. Lusk. 46-53
- OR-Parallel Prolog Made Efficient on Shared Memory MultiprocessorsBogumil Hausman, Andrzej Ciepielewski, Seif Haridi. 69-79
- Restricted And-Parallelism and Side EffectsDoug DeGroot. 80-89
- The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation IssuesDavid H. D. Warren. 92-102
- Hardware Architecture of the Sequential Inference Machine: PSI-IIHiroshi Nakashima, Katsuto Nakajima. 104-113
- An Empirical Study of the Warren Abstract MachineHervé J. Touati, Alvin M. Despain. 114-124
- Completeness and Full Parallelism of Parallel Logic Programming SchemesLaxmikant V. Kalé. 125-133
- Semantically Transparent Selective Reset for AND Parallel Interpreters Based on the Origin of FailuresWilliam H. Winsborough. 134-152
- Canoncical Conservative Extensions of Logic Program CompletionsHoward A. Blair. 154-161
- An Operational Formal Definition of PROLOGPierre Deransart, Gérard Ferrand. 162-172
- On the Semantics of Quantitative Logic ProgramsV. S. Subrahmanian. 173-182
- General Diagnosis by Abductive InferencePhilip T. Cox, Tomasz Pietrzykowski. 183-189
- Abstract Interpretation: Towards the Global Optimization of Prolog ProgramsMaurice Bruynooghe, Gerda Janssens, Alain Callebaut, Bart Demoen. 192-204
- Flow Analysis of Prolog ProgramsHeikki Mannila, Esko Ukkonen. 205-214
- Notes on Transformation Techniques for Generate and Test Logic ProgramsHirohisa Seki, Koichi Furukawa. 215-223
- Parallel Programming with Layered StreamsAkira Okumura, Yuji Matsumoto. 224-232
- Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-IterationHelmut Schmidt, Werner Kießling, Ulrich Güntzer, Rudolf Bayer. 234-243
- A Deductive Database Based on Aristotelian LogicEyal Mozes. 244-252
- Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive DatabasesMark Wallace. 253-263
- Extension Tables: Memo Relations in Logic ProgrammingSuzanne W. Dietrich. 264-272
- Parallel Inference System Researches in the FGCS ProjectTakashi Chikayama. 274-276
- Writing Programs as QJ Proof and Compiling into Prolog ProgramsYukihide Takayama. 278-287
- Algorithmic PARLOG DebuggingMatthew M. Huntbach. 288-297
- Do Logic Programs Resemble Programs in Conventional Languages?Wlodzimierz Drabent. 289-396
- Deductive DebuggingNachum Dershowitz, Yuh-Jeng Lee. 298-306
- Flow Analysis of a Simple Class of Dynamic Logic ProgramsSaumya K. Debray. 307-316
- A Complete Semantic Characterization of K-Leaf: A Logic Language with Partial FunctionsGiorgio Levi, Catuscia Palamidessi, Pier Giorgio Bosco, Elio Giovannetti, Corrado Moiso. 318-327
- A Functional Logic Language Based on Canonical UnificationD. W. Shin, Jong H. Nang, Sangki Han, Seungryul R. Maeng. 328-334
- Equational Logic ProgrammingSteffen Hölldobler. 335-346
- GHC: Operational Semantics, Problems, and Relationships with CP(|, |)Vijay A. Saraswat. 347-358
- Concurrent Alpha-Beta: A Study in Concurrent Logic ProgrammingWalter G. Wilson. 360-367
- A Calculus for the Construction of Modular Prolog ProgramsDonald Sannella, Lincoln A. Wallen. 368-378
- A Logic Programming Approach to Manipulating Formulas and ProgramsDale Miller, Gopalan Nadathur. 379-388
- Implementation of a Prolog Code Database and Source Database in Compiler-Based SystemsChenxi Zhang, Tzu Yungui, Li Liangliang, Hu Yunfa. 398-405
- An Intelligent Backtracking Scheme for PrologVipin Kumar, Yow-Jian Lin. 406-414
- Integrating Complex Data Structures in PrologJonas Barklund, Håkan Millroth. 415-425
- Timing Prolog Programs without ClockMichael M. Gorlick, Carl Kesselman. 426-434
- The PEPSys Model: Combining Backtracking, AND- and OR-ParallelismHarald Westphal, Philippe Robert, Jacques Chassin de Kergommeaux, Jean-Claude Syre. 436-448
- A Method for Implementing Cut in Parallel Execution of PrologKhayri A. M. Ali. 449-456
- Binding Environments for Parallel Logic Programs in Non-Shared Memory MultiprocessorsJohn S. Conery. 457-467
- An Abstract KL1 Machine and Its Instruction SetYasunori Kimura, Takashi Chikayama. 468-477
- Qualitative Simulation in Parallel Logic ProgrammingHayato Ohwada, Fumio Mizoguchi. 480-489
- Experience with Prolog as a Hardware Specification LanguageWilliam R. Bush, Gino Cheng, Patrick C. McGeer, Alvin M. Despain. 490-498
- A Logic-Based Tools for Negotiation SupportStan Matwin, Stan Szpakowicz, Gregory E. Kersten, Wojtek Michalowski, Zbig Koperczak. 499-506
- AUNT: A Universal Netlist TranslatorPeter B. Reintjes. 508-515
- An Evaluation of the FGHC via Practical Application ProgramsMitsuhiro Kishimoto, Akira Hosoi, Kouichi Kumon, Akira Hattori. 516-525