NDLI: A type driven hardware engine for Prolog clause retrieval over a large knowledge base

Please wait, while we are loading the content...

Volume 17, Issue 6, Dec. 1989

Volume 17, Issue 5, Sep. 1989

Volume 17, Issue 4, June 1989

Volume 17, Issue 3, June 1989

Evaluating the performance of four snooping cache coherency protocols

Multi-level shared caching techniques for scalability in VMP-M/C

Design and performance of a coherent cache for parallel logic programming architectures

The Epsilon dataflow processor

An architecture of a dataflow single chip processor

Exploiting data parallelism in signal processing on a dataflow machine

Architectural mechanisms to support sparse vector processing

A dynamic storage scheme for conflict-free vector access

SIMP (Single Instruction stream/Multiple instruction Pipelining): a novel high-speed single-processor architecture

2-D SIMD algorithms in the perfect shuffle networks

Systematic hardware adaptation of systolic algorithms

Task migration in hypercube multiprocessors

Characteristics of performance-optimal multi-level cache hierarchies

Supporting reference and dirty bits in SPUR's virtual address cache

Inexpensive implementations of set-associativity

Organization and performance of a two-level virtual-real cache hierarchy

High performance communications in processor networks

Introducing memory into the switch elements of multiprocessor interconnection networks

Using feedback to control tree saturation in multistage interconnection networks

Constructing replicated systems using processors with point-to-point communication links

KCM: a knowledge crunching machine

A high performance Prolog processor with multiple function units

Evaluation of memory system for integrated Prolog processor IPP

A type driven hardware engine for Prolog clause retrieval over a large knowledge base

Comparing software and hardware schemes for reducing the cost of branches

Improving performance of small on-chip instruction caches

Achieving high instruction cache performance with an optimizing compiler

The impact of code density on instruction cache performance

Can dataflow subsume von Neumann computing?

Exploring the benefits of multiple hardware contexts in a multiprocessor architecture: preliminary results

Architectural and organizational tradeoffs in the design of the MultiTitan CPU

Run-time checking in Lisp by integrating memory addressing and range checking

Multiple vs. wide shared bus multiprocessors

Performance measurements on a commercial multiprocessor running parallel code

Interprocessor communication speed and performance in distributed-memory parallel processors

Analysis of computation-communication issues in dynamic dataflow architectures

Logic simulation on massively parallel architectures

R256: a research parallel processor for scientific computation

A three-port/three-access register file for concurrent processing and I/O communication in a RISC-like graphics engine

An architecture framework for application-specific and scalable architectures

Perfect Latin squares and parallel array access

An aperiodic storage scheme to reduce memory conflicts in vector processors

Analysis of vector access performance on skewed interleaved memory

Adaptive backoff synchronization techniques

A cache consistency protocol for multiprocessors with multistage networks

On data synchronization for multiprocessors

Volume 17, Issue 2, April 1989

Volume 17, Issue 1, March 1989

A type driven hardware engine for Prolog clause retrieval over a large knowledge base

Content Provider	ACM Digital Library
Author	Williams, M. H. Wong, K. F.
Abstract	Whereas existing Prolog systems are very effective at handling small knowledge bases, they are not very efficient at and often incapable of handling large sets of clauses. Large knowledge bases which may comprise millions of clauses and are shared by a number of users, may need to reside in secondary memory. In such cases exhaustive search is inordinately slow. Various approaches have been put forward for handling the problem, most of which involve coupled systems (loosely or tightly coupled). A Prolog data/knowledge based system which provides an integrated solution to the problem is being developed. An essential element in this system is the CLAuse Retrieval Engine, CLARE, which is a special purpose hardware engine designed to perform selective retrieval of data from disk in order to identify all potential clauses which will be required for full unification during a query. The engine consists of two separate hardware components, which together form a two-stage filtering configuration. This paper concentrates on the second stage filter which is concerned with partial test unification.
Starting Page	211
Ending Page	222
Page Count	12
File Format	PDF
ISSN	01635964
DOI	10.1145/74926.74950
Journal	ACM SIGARCH Computer Architecture News (CARN)
Volume Number	17
Issue Number	3
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1981-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in