http://iet.metastore.ingenta.com
1887

Content-addressable memories applied to execution of logic programs

Content-addressable memories applied to execution of logic programs

For access to this article, please select a purchase option:

Buy article PDF
$19.95
(plus tax if applicable)
Buy Knowledge Pack
10 articles for $120.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings E (Computers and Digital Techniques) — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The paper describes a number of techniques for using content-addressable memory to speed up the execution of logic programs for both single and multiple processor implementations. The techniques shown allow for significant speed-ups in unification, clause selection, branch switching, variable handling and garbage collection. For multiple processor implementations, the literal ordering and environment join algorithms are also improved. In addition to the speed improvements, some simplification of software results from performing indexing operations in content-addressable memory.

References

    1. 1)
      • Brule, M.R.: `The Use of Content-Addressable Memory in Executing Logic Programs', 8813, CASE Center Technical Report, October 1988.
    2. 2)
      • R.M. Colomb . A Clause Indexing System for Prolog Based on Superimposed Coding. Austr. Comput. J. , 1
    3. 3)
      • DeGroot, D.: `Restricted AND-Parallelism', Proceedings of the International Conference on Fifth Generation Computer Systems, November 1984, , p. 471–478.
    4. 4)
      • Hausman, B., Ciepielewski, A., Haridi, S.: `OR-parallel Made Efficient on Shared Memory Multiprocessors', Proceedings of the 1987 International Symposium on Logic Programming, September 1987, , p. 69–78.
    5. 5)
      • P.M. Kogge , J.V. Oldfield , M.R. Brule , C.D. Stormon , Delgado-Frias Moore . (1989) VLSI and Rule-Based Systems, VLSI for Artificial Intelligence.
    6. 6)
      • Oldfield, J.V., Stormon, C.D., Brule, M.R.: `The Application of VLSI Content-Addressable Memory to the Acceleration of Logic Programming Systems', Proceedings CompEuro, 1987, p. 27–30.
    7. 7)
      • Ogura, T., Yamada, S-I., Yamada, J.: `A 20 Kb CMOS Associative Memory LSI for Artificial Intelligence Machines', Proceedings of the 1986 IEEE International Conference on Computer Design: VLSI in Computers, October 1986, , p. 547–577.
    8. 8)
      • Ribeiro, J.C.D.F.: `CAMAndOr: An Implementation of Logic Programming Exploiting Coarse and Fine Grain Parallelism', 8815, CASE Center Technical Report, October 1988.
    9. 9)
      • J.A. Robinson . A Machine-oriented Logic Based on the Resolution Principle. J. ACM , 1 , 23 - 41
    10. 10)
      • C.G. Sodini , J.P. Wade . Dynamic Cross-coupled Bitline Content Addressable Memory Cell for High Density Arrays. IEEE J. Solid-State Circ. , 119 - 121
    11. 11)
      • Stormon, C.D., Brule, M.R., Oldfield, J.V., Ribeiro, J.C.D.F.: `An Architecture Based on Content-Addressable Memory for the Rapid Execution of Prolog', Proceedings of the Fifth International Conference on Logic Programming, August 1988, , p. 1448–1473.
    12. 12)
      • Tick, E., Warren, D.H.D.: `Towards a Pipeline Prolog Processor', Proceedings of the 1984 International Symposium on Logic Programming, February 1984, , p. 198–202.
    13. 13)
      • Warren, D.H.D.: `Efficient Prolog Memory Management for Flexible Control Strategies', Proceedings of the 1984 International Symposium on Logic Programming, February 1984, , p. 198–202.
    14. 14)
      • Warren, D.H.D.: `An Abstract Prolog Instruction Set', 309, SRI Technical Note, October 1983.
    15. 15)
      • Warren, D.H.D.: `The SRI Model for OR-Parallel Execution of Prolog-Abstract Design and implementation issues', Proceedings of the 1987 International Symposium on Logic Programming, September 1987, , p. 92–102.
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-e.1989.0051
Loading

Related content

content/journals/10.1049/ip-e.1989.0051
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address