11. ILPS 1994, Workshop 5: Design and Implementation of Parallel Logic Programming Systems

Enrico Pontelli, Gopal Gupta (Eds.): Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, November 18, 1994, Ithaca, New York. The Proceedings are available on the Web page http: //www.cs.nmsu.edu/~epontell/workshop/index.html or from the ftp-server pub.nmsu.edu, directory pub/ilps94.

AKL

Johan Montelius: Penny, a Parallel Implementation of AKL. 4-8 BibTeX
Salvador Abreu, Luís Moniz Pereira: A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems. 9-16 BibTeX

Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren: Parallelizing Tabled Evaluations (Extended Abstract). 18-31 BibTeX
Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva: Aurora, Andorra-I and Friends on the Sun. 32-41 BibTeX
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. 42-53 BibTeX
Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinancy Driven Optimization of Parallel Prolog Implementations. 54-71 BibTeX

Akihiko Nakase, Kazuaki Rokusawa, Tetsuro Fujise, Takashi Chikayama: Preliminary Evaluation of a Distributed Implementation of KLIC. 74-82 BibTeX
Masahiko Yamauchi, Masa-aki Sato, Takashi Chikayama: Distributed Pool for Efficient Data Distribution in KL1. 83-92 BibTeX
Kazuaki Rokusawa, Akihiko Nakase, Takashi Chikayama: Quiescence Detection in a Distributed KLIC Implementation. 93-102 BibTeX
Moto Kawamura, Toru Kawamura: Implementation of Parallel Database Management System on KLIC. 103-107 BibTeX

Antonio Mendes da Silva Filho: On Using Logic Programming in Real-Time Systems. 110-119 BibTeX
David M. Arnow, Ken McAloon, Carol Tretkoff: Distributed Programming and Disjunctive Programming. 120-129 BibTeX
Douglas Eadline: Implementing Prolog on Distributed Systems: N-parallel Prolog. 130-140 BibTeX