↓ Skip to main content

Third International Conference on Logic Programming

Overview of attention for book
Cover of 'Third International Conference on Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 61 The role of logic programming in the Fifth Generation Computer Project
  3. Altmetric Badge
    Chapter 62 An abstract machine for restricted AND-parallel execution of logic programs
  4. Altmetric Badge
    Chapter 63 Efficient management of backtracking in AND-Parallelism
  5. Altmetric Badge
    Chapter 64 An intelligent backtracking algorithm for parallel execution of logic programs
  6. Altmetric Badge
    Chapter 65 Delta Prolog: A distributed backtracking extension with events
  7. Altmetric Badge
    Chapter 66 OLD resolution with tabulation
  8. Altmetric Badge
    Chapter 67 Logic programs and alternation
  9. Altmetric Badge
    Chapter 68 Intractable unifiability problems and backtracking
  10. Altmetric Badge
    Chapter 69 On the complexity of unification sequences
  11. Altmetric Badge
    Chapter 70 How to invent a Prolog machine
  12. Altmetric Badge
    Chapter 71 A sequential implementation of Parlog
  13. Altmetric Badge
    Chapter 72 A GHC abstract machine and instruction set
  14. Altmetric Badge
    Chapter 73 A Prolog processor based on a pattern matching memory device
  15. Altmetric Badge
    Chapter 74 An improved version of Shapiro's model inference system
  16. Altmetric Badge
    Chapter 75 A framework for ICAI systems based on inductive inference and logic programming
  17. Altmetric Badge
    Chapter 76 Rational debugging in logic programming
  18. Altmetric Badge
    Chapter 77 Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning
  19. Altmetric Badge
    Chapter 78 Some issues and trends in the semantics of logic programming
  20. Altmetric Badge
    Chapter 79 Parallel logic programming languages
  21. Altmetric Badge
    Chapter 80 P-Prolog: A parallel logic language based on exclusive relation
  22. Altmetric Badge
    Chapter 81 Making exhaustive search programs deterministic
  23. Altmetric Badge
    Chapter 82 Compiling OR-parallelism into AND-parallelism
  24. Altmetric Badge
    Chapter 83 Shared memory execution of committed-choice languages
  25. Altmetric Badge
    Chapter 84 Logic program semantics for programming with equations
  26. Altmetric Badge
    Chapter 85 On the semantics of logic programming languages
  27. Altmetric Badge
    Chapter 86 Towards a formal semantics for concurrent logic programming languages
  28. Altmetric Badge
    Chapter 87 Design of a Prolog-based machine translation system
  29. Altmetric Badge
    Chapter 88 Parallel logic programming for numeric applications
  30. Altmetric Badge
    Chapter 89 Sequential and concurrent deterministic logic grammars
  31. Altmetric Badge
    Chapter 90 A parallel parsing system for natural language analysis
  32. Altmetric Badge
    Chapter 91 Equivalences of logic programs
  33. Altmetric Badge
    Chapter 92 Qualified answers and their application to transformation
  34. Altmetric Badge
    Chapter 93 Procedures in Horn-clause programming
  35. Altmetric Badge
    Chapter 94 Higher-order logic programming
  36. Altmetric Badge
    Chapter 95 Abstract interpretation of Prolog programs
  37. Altmetric Badge
    Chapter 96 Verifleation of Prolog programs using an extension of execution
  38. Altmetric Badge
    Chapter 97 Detection and optimization of functional computations in Prolog
  39. Altmetric Badge
    Chapter 98 Control of logic program execution based on the functional relation
  40. Altmetric Badge
    Chapter 99 Declarative graphics
  41. Altmetric Badge
    Chapter 100 Test-pattern generation for VLSI circuits in a Prolog environment
  42. Altmetric Badge
    Chapter 101 Using Prolog to represent and reason about protein structure
  43. Altmetric Badge
    Chapter 102 A New approach for introducing Prolog to naive users
  44. Altmetric Badge
    Chapter 103 Prolog programming environments: Architecture and implementation
  45. Altmetric Badge
    Chapter 104 Design overview of the NAIL! System
  46. Altmetric Badge
    Chapter 105 A superimposed codeword indexing scheme for very large Prolog databases
  47. Altmetric Badge
    Chapter 106 Interfacing Prolog to a persistent data store
  48. Altmetric Badge
    Chapter 107 A general model to implement DIF and FREEZE
  49. Altmetric Badge
    Chapter 108 Cyclic tree traversal
  50. Altmetric Badge
    Chapter 109 Completeness of the SLDNF-resolution for a class of logic programs
  51. Altmetric Badge
    Chapter 110 Choices in, and limitations of, logic programming
  52. Altmetric Badge
    Chapter 111 Negation and quantifiers in NU-Prolog
  53. Altmetric Badge
    Chapter 112 Gracefully adding negation and disjunction to Prolog
  54. Altmetric Badge
    Chapter 113 Memory performance of Lisp and Prolog programs
  55. Altmetric Badge
    Chapter 114 The design and implementation of a high-speed incremental portable Prolog compiler
  56. Altmetric Badge
    Chapter 115 Compiler optimizations for the WAM
  57. Altmetric Badge
    Chapter 116 Fast decompilation of compiled Prolog clauses
  58. Altmetric Badge
    Chapter 117 Logic continuations
  59. Altmetric Badge
    Chapter 118 Cut & Paste — defining the impure primitives of Prolog
  60. Altmetric Badge
    Chapter 119 Tokio: Logic programming language based on temporal logic and its compilation to Prolog
  61. Altmetric Badge
    Chapter 120 The OR-forest description for the execution of logic programs
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
8 Wikipedia pages

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
7 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Third International Conference on Logic Programming
Published by
Springer Berlin Heidelberg, January 2006
DOI 10.1007/3-540-16492-8
ISBNs
978-3-54-016492-0, 978-3-54-039831-8
Editors

Shapiro, Ehud

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 71%
Student > Master 2 29%
Student > Bachelor 1 14%
Readers by discipline Count As %
Computer Science 5 71%
Philosophy 1 14%
Social Sciences 1 14%
Engineering 1 14%