Towards a pipelined Prolog processor-Reference-Cited by-同舟云学术

Towards a pipelined Prolog processor

Published:1984-12 Issue:4 Volume:2 Page:323-345
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Tick Evan,Warren David H. D.

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037325.pdf

Reference11 articles.

1. Nishikawa, H., Yokota, M., Yamamoto, A., Taki, K. and Uchida, S.: “The Personal Sequential Inference Machine (PSI): Its Design Philosophy and Machine Architecture,” Logic Programming Workshop ’83 (Universidade Nova de Lisboa) (June, 1983) 53–73.

2. “Symbolics 3600 Technical Summary” (Symbolics Inc., Cambridge, Massachusetts) (1983).

3. Moto-oka, T. (ed.): Fifth Generation Computer Systems (North-Holland) (1982).

4. Warren, D. H. D.: “Applied Logic—Its Use and Implementation as Programming Tool,” Ph. D dissertation (University of Edinburgh) (1977). Available as Technical Note,290 (Artificial Intelligence Center, SRI International).

5. Warren, D. H. D.: “An Improved Prolog Implementation which Optimises Tail Recursion,” Research Paper,156 (Dept. of Artificial Intelligence, University of Edinburgh) (1980) (presented at the 1980 Logic Programming Workshop, Debrecen, Hungary).

Cited by 35 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. 1983–1993: The wonder years of sequential Prolog implementation;The Journal of Logic Programming;1994-05

2. To Trim or Not to Trim?;Implementations of Logic Programming Systems;1994

3. On computational complexity of Prolog programs;Theoretical Computer Science;1993-10

4. Partial evaluation grammars;Computer Languages;1993-01

5. Abstract complexity of prolog based on WAM;Lecture Notes in Computer Science;1993