Abstract is missing.
- Advantages of Implementing PROLOG by Microprogramming a Host General Purpose ComputerJeff Gee, Stephen W. Melvin, Yale N. Patt. 1-20
- Efficient Implementation of a Defensible Semantics for Dynamic PROLOG CodeTimothy G. Lindholm, Richard A. O Keefe. 21-39
- Freeze, Indexing, and Other Implementation Issues in the WAMMats Carlsson. 40-58
- A Performance Comparison between PLM and a M68020 PROLOG ProcessorHans Mulder, Evan Tick. 59-73
- A Database-Complete Proof Procedure Based on SLD-ResolutionLaurent Vieille. 74-103
- Implementation of Recursive Queries for a Data Language Based on Pure Horn LogicDomenico Saccà, Carlo Zaniolo. 104-135
- Stratification and Knowledge Based ManagementCatherine Lassez, Ken McAloon, Graeme S. Port. 136-151
- Set Grouping and Layering in Horn Clause ProgramsOded Shmueli, Shamim A. Naqvi. 152-177
- Concurrent Database Updates in PROLOGLee Naish, James A. Thom, Kotagiri Ramamohanarao. 178-195
- Methodology and Implementation of a CLP SystemJoxan Jaffar, Spiro Michaylov. 196-218
- Answer Sets and Negation-as-FailureKenneth Kunen. 219-228
- Forward Checking in Logic ProgrammingPascal Van Hentenryck, Mehmet Dincbas. 229-256
- A Distributed Implementation of Flat GHC on the Multi-PSIM. Ichiyoshi, T. Miyazaki, Kazuo Taki. 257-275
- Multiple Reference Management in Flat GHCTakashi Chikayama, Yasunori Kimura. 276-293
- PARLOG and ALICE : A Marriage of ConvenienceMelissa Lam, Steve Gregory. 294-310
- An OR-Parallel Execution Algorithm for PROLOG and Its FCP ImplementationEhud Y. Shapiro. 311-337
- KL1 Execution Model for PIM Cluster with Shared MemoryMasatoshi Sato, Hajime Shimizu, Akira Matsumoto, Kazuaki Rokusawa, Atsuhiro Goto. 338-355
- Making Exhaustive Search Programs Deterministic, Part IIKazunori Ueda. 356-375
- Hash Tables in Logic ProgrammingJonas Barklund, Håkan Millroth. 411-427
- Evaluating Logic Programs via Set-Valued FunctionsCarlo Cecchi, Dario Sartini, Luigia Carlucci Aiello. 428-455
- Near-Horn PROLOGDonald W. Loveland. 456-469
- A Theoretical Combination of SLD-Resolution and NarrowingAkihiro Yamamoto. 470-487
- Inductive and Deductive Control of Logic ProgramsRichard Helm. 488-512
- An Efficient Logic Programming Language and Its Application to MusicKemal Ebcioglu. 513-532
- Symbolical Construction of Truth Value Domain for Logic ProgramShinichi Morishita, Masayuki Numao, Shin ichi Hirose. 533-555
- Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic ProgramsManuel V. Hermenegildo. 556-575
- Experiments with OR-Parallel Logic ProgramsTerry Disz, Ewing L. Lusk, Ross A. Overbeek. 576-600
- The REDUCE-OR Process Model for Parallel Evaluation of Logic ProgramsLaxmikant V. Kalé. 616-632
- PYTHON: An Expert SqueezerLeon Sterling, Yossi Nygate. 654-674
- CLP(R) and Some Electrical Engineering ProblemsNevin Heintze, Spiro Michaylov, Peter J. Stuckey. 675-703
- Logical SecretsMark Samuel Miller, Daniel G. Bobrow, Eric Dean Tribble, Jacob Levy. 704-728
- Finite Fixed-Point ProblemsRichard A. O Keefe. 729-743
- Construction of Logic Programs Based on Generalized Unfold/Fold RulesTadashi Kanamori, Kenji Horiuchi. 744-768
- A System of Precise Models for Logic ProgramsZoltan Somogyi. 769-787
- Type Synthesis for Ground PrologFeliks Kluzniak. 788-816
- Derivation of Polymorphic Types for PROLOG ProgramsJustin Zobel. 817-838
- Channels: A Generalization of StreamsEric Dean Tribble, Mark Samuel Miller, Kenneth M. Kahn, Daniel G. Bobrow, Curtis Abbott, Ehud Y. Shapiro. 839-857
- Logic Semantics for a Class of Committed-Choice ProgramsMichael J. Maher. 858-876
- An Approach to the Declarative Semantics of Synchronization in Logic LanguagesGiorgio Levi, Catuscia Palamidessi. 877-893
- An Object-Oriented Programming Language Based on the Parallel Logic Programming Language KL1Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa. 894-909
- PARLOG and PROLOG UnitedKeith L. Clark, Steve Gregory. 927-961
- Boosting Logic ProgrammingHervé Gallaire. 962-988
- Grammars and Logics of Partial InformationFernando C. N. Pereira. 989-1013
- Answering Queries in Deductive Database SystemsKotagiri Ramamohanarao, John Shepherd. 1014-1033
- Quty: A Concurrent Language Based on Logic and FunctionMasahiko Sato. 1034-1056