Xining Li, Y. Y. Yao  Home/Search
Context
Related
| elis.rug.ac.be/pub/prolog/ilp...li.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unsw.edu.au/dblp/db/co...slp94w4 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Exploitation of architectural support for Prolog-like languages takes one of two main paths: compiler-based or interpreter-based. The former scheme enforces the transformation from a logic program to a set of instructions tailored for Prolog to accommodate the instruction-driven von Neumann processor, while the latter implements a complicated inference procedure as a microinterpreter to realize the relation-driven paradigm of logic programming. In this paper, we present a new sequential control ... (Update)
Active bibliography (related documents): More All
0.6: Potentiality of Parallelism in Logic - Kurfeß (1991) (Correct)
0.6: 1983-1993: The Wonder Years of Sequential Prolog Implementation - Van Roy (1993) (Correct)
0.5: Connectionist Unifying Prolog - Weber (Correct)
Similar documents based on text: More All
0.1: A Protocol Simulator for the Thunder and Lightning ATM Network - Michael Santos (Correct)
0.1: Modeling Aspects Concerning THUNDER Actuators - Capozzoli Gopalakrishnan (Correct)
0.1: Non-Linear Finite Element Modeling of THUNDER Piezoelectric.. - Taleghani, al. (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ li94liengine,
author = "Xining Li and Y. Y. Yao",
title = "{LI}-Engine: a New Sequential Control Model for Prolog",
booktitle = "{ILPS} Workshop: Implementation Techniques for Logic Programming Languages",
pages = "0-",
year = "1994",
url = "citeseer.ist.psu.edu/136224.html" }
Citations (may not include all citations):634 A Machine-Oriented Logic Based on the Resolution Principle (context) - Robinson - 1985
395 An Abstract Prolog Instruction Set (context) - Warren - 1983
30 The Sharing of Structure in Theorem Proving Programs (context) - Boyer, Moore - 1972
12 The Andorra-I Engine: A Parallel Implementation of the Basic.. (context) - Costa, Warren et al. - 1991
6 Towards A Pipelined Prolog Processor (context) - Tick, Warren - 1984
5 Hardware Architecture of the Sequential Inference Machine: P.. (context) - Nakashima, Nakajima - 1987
5 Parallel Inference Machine PIM (context) - Taki - 1992
2 Design Decisions Influencing the Microarchitecture for a Pro.. (context) - Dobry, Patt et al. - 1984
2 Sequential Prolog Machine PEK (context) - Tamura, Wada et al. - 1984
2 PUP: An Architecture to Exploit Parallel Unification in Prol.. (context) - Chen, Singhal et al. - 1988
2 Virtual Time and Virtual Space (context) - Li, Cleary et al. - 1992
1 A Microprogrammed Interpreter for The Personal Sequential In.. (context) - Yokota, Yamamoto et al. - 1984
1 CARMEL-4: The Unify-Spawn Machine for FCP (context) - Harsat, Ginosar - 1991
1 Tanaka UNIRED II: The High Performance Inference Processor f.. (context) - Shimada, Koike - 1992
1 Design of a High Speed Prolog Machine (context) - Nakazaki, Konagayoi et al. - 1985
1 Implementations of Distributed Prolog (context) - DeGroot - 1992
1 A Hardware Unification Unit: Design and Analysis (context) - Woo - 1985
1 The Parallel Software Research and Development Tool: Multi-P.. (context) - Taki - 1988
Documents on the same site (http://www.cse.unsw.edu.au/dblp/db/conf/slp/slp94-w4.html): More
Backtrackable Updates - Noye (Correct)
Can Dynamic Analysis Make Prolog Fast? - Taylor (Correct)
Performance of a Data-Parallel Concurrent Constraint.. - Bo-Ming Tong (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC