A portable and efficient implementation of KL1-Reference-Cited by-同舟云学术

A portable and efficient implementation of KL1

Published:1994 Issue: Volume: Page:25-39
ISSN:0302-9743
Container-title:Programming Language Implementation and Logic Programming
language:
Short-container-title:

Author:

Chikayama Takashi,Fujise Tetsuro,Sekita Daigo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58402-1_4

Reference14 articles.

1. Mats Carlsson, Johan Widén, Johan Andersson, Stefan Andersson, Kent Boortz, Hans Nilsson, and Thomas Sjöland. SICStus Prolog User's Manual, 1993.

2. Takashi Chikayama, Hiroyuki Sato, and Toshihiko Miyazaki. Overview of the parallel inference machine operating system (PIMOS). In Proceedings of FGCS'88, pages 230–251, Tokyo, Japan, 1988.

3. Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, and Akira Matsumoto. Overview of the parallel inference machine architecture (PIM). In Proceedings of FGCS'88, Tokyo, Japan, 1988.

4. David Gudeman, Koen De Bosschere, and Saumya K. Debray. jc: an efficient and portable sequential implementation of janus. In Proceedings of the Joint International Conference and Symposium on Logic Programming. The MIT Press, 1992.

5. David Gudeman and Sandra Miller. User Manual for jc — A Janus compiler, version 2.0, 1994.

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

1. A Protocol for Execution of Distributed Logic Programs;Studies in Computational Intelligence;2009

2. A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language;Computational Logic: Logic Programming and Beyond;2002

3. Resource-Passing Concurrent Programming;Lecture Notes in Computer Science;2001

4. The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems;Computational Logic — CL 2000;2000

5. The parallel logic programming system in the FGCS project and its future directions;Parallel Computing;1999-12