BibSLEIGH — Proceedings of the Third International Conference on Logic Programming

Ehud Y. Shapiro
Proceedings of the Third International Conference on Logic Programming
ICLP, 1986.

TEST

@proceedings{ICLP-1986,
	address       = "London, England, United Kingdom",
	editor        = "Ehud Y. Shapiro",
	isbn          = "3-540-16492-8",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Third International Conference on Logic Programming}",
	volume        = 225,
	year          = 1986,
}

Contents (60 items)

ICLP-1986-FuchiF86 #generative #logic programming: The Role of Logic Programming in the Fifth Generation Computer Project (KF, KF), pp. 1–24.
ICLP-1986-Hermenegildo86 #automaton #execution #logic programming #source code #strict: An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs (MVH), pp. 25–39.
ICLP-1986-HermenegildoN86 #backtracking #performance: Efficient Management of Backtracking in AND-Parallelism (MVH, RIN), pp. 40–54.
ICLP-1986-LinKL86 #algorithm #backtracking #execution #logic programming #parallel #source code: An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs (YJL, VK, CHCL), pp. 55–68.
ICLP-1986-PereiraMCA86 #backtracking #distributed #prolog: Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
ICLP-1986-TamakiS86: OLD Resolution with Tabulation (HT, TS), pp. 84–98.
ICLP-1986-StepanekS86 #logic programming #source code: Logic Programs and Alternation (PS, OS), pp. 99–106.
ICLP-1986-Wolfram86 #backtracking #problem: Intractable Unifiability Problems and Backtracking (DAW), pp. 107–121.
ICLP-1986-MannilaU86 #complexity #on the #sequence #unification: On the Complexity of Unification Sequences (HM, EU), pp. 122–133.
ICLP-1986-Kursawe86 #how #prolog: How to Invent a Prolog Machine (PK), pp. 134–148.
ICLP-1986-FosterGRS86 #implementation: A Sequential Implementation of Parlog (ITF, SG, GAR, KS), pp. 149–156.
ICLP-1986-Levy86 #automaton #haskell #set: A GHC Abstract Machine and Instruction Set (JL), pp. 157–171.
ICLP-1986-Robinson86 #memory management #pattern matching #prolog: A Prolog Processor Based on a Pattern Matching Memory Device (IR), pp. 172–179.
ICLP-1986-Huntbach86 #model inference: An Improvised Version of Shapiro’s Model Inference System (MMH), pp. 180–187.
ICLP-1986-KawaiMKT86 #framework #induction #logic programming: A Framework for ICAI Systems Based on Inductive Inference and Logic Programming (KK, RM, OK, JT), pp. 188–202.
ICLP-1986-Pereira86 #debugging #logic programming: Rational Debugging in Logic Programming (LMP), pp. 203–210.
ICLP-1986-GoebelFP86 #approach #constraints #reasoning #using: Using Definite Clauses and Integrity Constraints as the Basis for a Theory Formation Approach to Diagnostic Reasoning (RG, KF, DP), pp. 211–222.
ICLP-1986-JaffarLM86 #logic programming #roadmap #semantics: Invited Talk: Some Issues and Trends in the Semantics of Logic Programming (JJ, JLL, MJM), pp. 223–241.
ICLP-1986-TakeuchiF86 #logic programming #parallel #programming language: Parallel Logic Programming Languages (AT, KF), pp. 242–254.
ICLP-1986-YangA86 #logic #named #parallel #prolog: P-Prolog: A Parallel Logic Language Based on Exclusive Relation (RY, HA), pp. 255–269.
ICLP-1986-Ueda86 #source code: Making Exhaustive Search Programs Deterministic (KU), pp. 270–282.
ICLP-1986-CodishS86 #compilation: Compiling OR-parallelism into AND-parallelism (MC, EYS), pp. 283–297.
ICLP-1986-Levy86a #execution #memory management: Shared Memory Execution of Committed-choice Languages (JL), pp. 298–312.
ICLP-1986-JaffarS86 #equation #logic programming #semantics: Logic Program Semantics for Programming with Equations (JJ, PJS), pp. 313–326.
ICLP-1986-MartelliR86 #logic programming #on the #semantics: On the Semantics of Logic Programing Languages (AM, GR), pp. 327–334.
ICLP-1986-Beckman86 #concurrent #logic programming #programming language #semantics #towards: Towards a Formal Semantics for Concurrent Logic Programming Languages (LB), pp. 335–349.
ICLP-1986-McCord86 #design #prolog: Design of a Prolog-Based Machine Translation System (MCM), pp. 350–374.
ICLP-1986-ButlerLMO86 #logic programming #parallel: Parallel Logic Programming for Numeric Applications (RB, ELL, WM, RAO), pp. 375–388.
ICLP-1986-Abramson86 #concurrent #logic: Sequential and Concurrent Deterministic Logic Grammars (HA), pp. 389–395.
ICLP-1986-Matsumoto86 #analysis #natural language #parallel #parsing: A Parallel Parsing System for Natural Language Analysis (YM), pp. 396–409.
ICLP-1986-Maher86 #logic programming #source code: Eqivalences of Logic Programs (MJM), pp. 410–424.
ICLP-1986-Vasey86: Qualified Answers and their Application to Transformation (PV), pp. 425–432.
ICLP-1986-Abdallah86 #programming: Procedures in Horn-Clause Programming (MANA), pp. 433–447.
ICLP-1986-MillerN86 #higher-order #logic programming: Higher-Order Logic Programming (DM, GN), pp. 448–462.
ICLP-1986-Mellish86 #abstract interpretation #prolog #source code: Abstract Interpretation of Prolog Programs (CM), pp. 463–474.
ICLP-1986-KanamoriS86 #execution #prolog #source code #using #verification: Verification of Prolog Programs Using an Extension of Execution (TK, HS), pp. 475–489.
ICLP-1986-WarrenD86 #detection #functional #optimisation #prolog: Detection and Optimization of Functional Computations in Prolog (DSW, SKD), pp. 490–504.
ICLP-1986-Nakamura86 #execution #functional #logic programming: Control of Logic Program Execution Based on the Functional Relations (KN), pp. 505–512.
ICLP-1986-HelmM86 #declarative: Declarative Graphics (RH, KM), pp. 513–527.
ICLP-1986-Gupta86 #generative #prolog: Test-pattern Generation for VLSI Circuits in a Prolog Environment (RG), pp. 528–535.
ICLP-1986-RawlingsTNFS86 #prolog #using: Using Prolog to Represent and Reason about Protein Structure (CJR, WRT, JN, JF, MJES), pp. 536–543.
ICLP-1986-MahlerSS86 #approach #prolog: A New Approach for Intruducing Prolog to Naive Users (OM, ZS, EYS), pp. 544–551.
ICLP-1986-Chikayama86 #architecture #implementation #programming #prolog: Prolog Programming Environments: Architecture and Implementation (TC), pp. 552–553.
ICLP-1986-MorrisUG86 #design #exclamation #overview: Design Overview of the NAIL! System (KAM, JDU, AVG), pp. 554–568.
ICLP-1986-RamamohanaraoS86 #database #prolog #scalability: A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases (KR, JS), pp. 569–576.
ICLP-1986-MoffatG86 #persistent #prolog: Interfacing Prolog to a Persistent Data Store (DSM, PMDG), pp. 577–584.
ICLP-1986-Boizumault86: A General Model to Implement DIF and FREEZE (PB), pp. 585–592.
ICLP-1986-NilssonT86 #traversal: Cyclic Tree Traversal (MN, HT), pp. 593–599.
ICLP-1986-BarbutiM86 #logic programming #source code: Completeness of the SLDNF-resolution for a class of logic programs (RB, MM), pp. 600–614.
ICLP-1986-Voda86 #logic programming: Choices in, and Limitations of, Logic Programming (PJV), pp. 615–623.
ICLP-1986-Naish86 #prolog #quantifier: Negation and Quantifiers in NU-Prolog (LN), pp. 624–634.
ICLP-1986-PooleG86 #prolog: Gracefully adding negation and disjunction to Prolog (DP, RG), pp. 635–641.
ICLP-1986-Tick86 #lisp #memory management #performance #prolog #source code: Memory Performance of Lisp and Prolog Programs (ET), pp. 642–649.
ICLP-1986-BowenBCT86 #compilation #design #implementation #incremental #performance #prolog: The Design and Implementation of a High-Speed Incremental Portable Prolog Compiler (KAB, KAB, IC, AKT), pp. 650–656.
ICLP-1986-Turk86 #compilation #optimisation: Compiler Optimizations for the WAM (AKT), pp. 657–662.
ICLP-1986-Buettner86 #decompiler #performance #prolog: Fast Decompilation of Compiled Prolog Clauses (KAB), pp. 663–670.
ICLP-1986-Haynes86 #continuation #logic: Logic Continuations (CTH), pp. 671–685.
ICLP-1986-Moss86 #prolog: Cut and Paste — defining the impure Primitives of Prolog (CM), pp. 686–694.
ICLP-1986-FujitaKTM86 #compilation #logic programming #named #programming language #prolog: Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog (MF, SK, HT, TMO), pp. 695–709.
ICLP-1986-ChengzhengY86 #execution #logic programming #source code: The OR-Forest Description for the Execution of Logic Programs (CS, TY), pp. 710–717.

Ehud Y. ShapiroProceedings of the Third International Conference on Logic ProgrammingICLP, 1986.

Contents (60 items)

Ehud Y. Shapiro
Proceedings of the Third International Conference on Logic Programming
ICLP, 1986.