NDLI: Implementation and evaluation of dynamic predicates on the sequential inference machine CHI

Content Provider	IEEE Xplore Digital Library
Author	Atarashi, A. Konagaya, A. Habata, S. Yokota, M.
Copyright Year	1990
Description	Author affiliation: NEC Corp., Kawasaki, Japan (Atarashi, A.; Konagaya, A.; Habata, S.; Yokota, M.)
Abstract	The dynamic clause compilation technique which is used to implement Prolog's dynamic predicates is described. The effectiveness of the technique when applied to a practical application program executed on the sequential inference machine CHI is reported. Dynamic predicates are indispensable in writing practical Prolog application programs. According to the authors' application program analysis, many applications spend more than half of the total execution time in dynamic predicate execution. This means that speeding up dynamic predicates is essential for improving Prolog application performance. From this point of view, the authors introduced the dynamic clause compilation technique, and implemented it on CHI. As soon as a clause is added to Prolog's database, the clause is compiled into machine instructions. This technique greatly accelerates dynamic predicate execution. Application program analysis shows that dynamic clause compilation accelerates the application execution speed up to 5 times faster than conventional dynamic predicate implementation.<>
Starting Page	236
Ending Page	244
File Size	473975
Page Count	9
File Format	PDF
ISBN	0818620366
DOI	10.1109/ICCL.1990.63779
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1990-03-12
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Dynamic compiler Image restoration Dynamic programming Laboratories National electric code Writing Databases Acceleration Artificial intelligence Application software
Content Type	Text
Resource Type	Article

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

Bell Canada's generic network element control technology

Automatic filter selection using image quality assessment

Last alternative optimization

Accelerating sine and cosine evaluation with compiler assistance

Accelerating Boolean satisfiability with configurable hardware

A New Algorithm for Mining Sequential Patterns

Empirical Studies on Multi-label Classification

Feature discovery in approximate dynamic programming

Learning: An Effective Approach in Endgame Chess Board Evaluation

Implementation and evaluation of dynamic predicates on the sequential inference machine CHI

Similar Documents

Bell Canada's generic network element control technology

Automatic filter selection using image quality assessment

Last alternative optimization

Accelerating sine and cosine evaluation with compiler assistance

Accelerating Boolean satisfiability with configurable hardware

A New Algorithm for Mining Sequential Patterns

Empirical Studies on Multi-label Classification

Feature discovery in approximate dynamic programming

Learning: An Effective Approach in Endgame Chess Board Evaluation

Implementation and evaluation of dynamic predicates on the sequential inference machine CHI