↓ 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
Attention for Chapter 73: A Prolog processor based on a pattern matching memory device
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions
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.
Chapter title
A Prolog processor based on a pattern matching memory device
Chapter number 73
Book title
Third International Conference on Logic Programming
Published in
Lecture notes in computer science, July 1986
DOI 10.1007/3-540-16492-8_73
Book ISBNs
978-3-54-016492-0, 978-3-54-039831-8
Authors

Ian Robinson, Robinson, Ian

Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 10 December 2012.
All research outputs
#7,451,284
of 22,780,165 outputs
Outputs from Lecture notes in computer science
#2,485
of 8,124 outputs
Outputs of similar age
#2,902
of 10,556 outputs
Outputs of similar age from Lecture notes in computer science
#1
of 5 outputs
Altmetric has tracked 22,780,165 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,124 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 10,556 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 8th percentile – i.e., 8% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 5 others from the same source and published within six weeks on either side of this one. This one has scored higher than all of them