Bibliography

1

A. AGARWAL, R. BIANCHINI, D. CHAIKEN, K. L. JOHNSON, D. KRANZ, J. KUBIATOWICZ, B. LIM, K. MACKENZIE, and D. YEUNG.
The MIT Alewife Machine: Architecture and Performance.
In 22nd Annual International Symposium on Computer Architecture (ISCA'95), June 1995.

2

ALI, K. A. M. and KARLSSON, R.
The Muse Or-parallel Prolog Model and its Performance.
In Proceedings of the North American Conference on Logic Programming, pages 757-776. MIT Press, October 1990.

3

C. L. AMORIM, R. BIANCHINI, G. SILVA, R. PINTO, M. HOR-MEYLL, M. de MARIA, L. WHATELY, and J. BARROS Jr.
A Segunda Geração de Computadores de Alto Desempenho da COPPE/UFRJ.
In VII Simpósio Brasileiro de Arquitetura de Computadores, SBAC-PAD, July 1996.

4

AZEVEDO, S. A. and BARBOSA, J. L. V. (Orientador).
Moda: Um analisador estático de modos e dependências para programação em lógica.
Projeto de diplomação, Universidade Católica de Pelotas, Pelotas: UCPel, 1998.

5

AZEVEDO, S. C., BARBOSA, J. L . V., GEYER, C. F. R., and CASTRO, L. F. P.
Integração party-granlog: Interpretação abstrata aplicada a paralelização de programas em lógica.
III Congresso Argentino de Ciência de la Computacion (CACIC 98), 1998.
Neuquen, Argentina.

6

REEM BAHGAT.
Solving Resource Allocation Problems in Pandora.
Technical report, Imperial College, Department of Computing, 1990.

7

REEM BAHGAT.
Non-Deterministic Concurrent Logic Programming in Pandora, volume 37.
World Scientific, Singapore, 1993.
Series in Computer Science.

8

J. L. V. BARBOSA and C. F. R. GEYER.
Análise de Complexidade na Programação em Lógica: Taxonomia, Modelo Granlog e Análise OU.
In XXIII Conferência Latino Americana de Informática, V Encontro Chileno de Computação da Sociedade Chilena de Computação (CLEI - PANEL'97), November 1997.

9

BARBOSA, J. L. V. and GEYER, C. F. R.
Um modelo para análise automática de granulosidade na programação em lógica.
X SIMPÓSIO BRASILEIRO DE ARQUITETURA DE COMPUTADORES - PROCESSAMENTO DE ALTO DESEMPENHO, page 639, July 1995.
Canela, RS.

10

BARBOSA, J. L. V. and GEYER, C. F. R.
Análise de grãos na programação em lógica.
Seminário Integrado de Software e Hardware, 1996.
Recife, PE.

11

BARBOSA, J. L. V. and GEYER, C. F. R.
Análise global na programação em lógica.
Simp'osio Brasileiro de Linguagens de Programação, 1996.
Belo Horizonte, MG.

12

BARBOSA, J. L. V. and GEYER, C. F. R.
Análise de complexidade na programação em lógica: Taxonomia, modelo granlog e análise ou.
XXIII Conferência Latino Americana de Informática/V Encontro Chileno de Computação da Sociedade Chilena de Computação (CLEI - PANEL'97), 1997.
ValParaíso, Chile.

13

BARBOSA, J. L. V., WERNER, O, and GEYER, C. F. R.
Automatic granularity analysis in logic programming.
In TENTH LOGIC PROGRAMMING WORKSHOP - WLP94, ZURICH: INSTITUT FOR INFORMATIK DER UNIVERSITE ZURICH, September 1994.

14

BARBOSA, J.L.V.
Granlog: Um modelo para análise automática de granulosidade na programação em lógica.
Dissertação de mestrado, Universidade Federal do Rio Grande do Sul, 1996.

15

BEAUMONT, A., RAMAN, S. M., SZEREDI, P., and WARREN, D. H. D.
Flexible Scheduling of OR-Parallelism in Aurora: The Bristol Scheduler.
In PARLE91: Conference on Parallel Architectures and Languages Europe, volume 2, pages 403-420. Springer Verlag, June 1991.

16

V. BENJUMEA and J. M. TROYA.
A Static Implementation of the Basic Andorra Model for Distributed Memory Systems.
In Post-JICSLP96 Workshop on Parallelism and Implementation of Logic Programming Systems, 1996.
Bonn, Germany.

17

JOHAN BEVEMYR, THOMAS LINDGREN, and HÄKAN MILLROTH.
Reform Prolog: The Language and its Implementation.
In Proceedings of the Tenth International Conference on Logic Programming, pages 283-298. MIT Press, June 1993.

18

BRAND, P.
Wavefront Scheduling.
Internal Report, Gigalips Project, 1988.

19

J. BRIAT, M. FAVRE, C. GEYER, and J. CHASSIN.
Scheduling of Or-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor.
In Proceedings of Parallel Architecture and Languages Europe. Springer Verlag, 1991.

20

GEYER, C. e CHASSIN, J. BRIAT, J., FABRE, M.
Opera: a parallel prolog system and its implementation on supernode.
In International Workshop on Compilers for Parallel Computers, 1990.

21

BUTLER, R., LUSK, E., McCUNE, W., and OVERBEEK, R.
Parallel logic programming for numeric applications.
In Ehud Shapiro, editor, Third International Conference on Logic Programming, London, pages 375-388. Springer-Verlag, 1986.

22

CALDERWOOD, A. and SZEREDI, P.
Scheduling or-parallelism in Aurora - the Manchester scheduler.
In Proceedings of the Sixth International Conference on Logic Programming, pages 419-435. MIT Press, June 1989.

23

VANUSA MENDITI CALEGARIO.
Análise de Desempenho de Sistemas de Programação Lógica.
Master's thesis, COPPE/Sistemas, UFRJ, MSc. thesis, Mar 1999.

24

VANUSA MENDITI CALEGARIO and INÊS DE CASTRO DUTRA.
Parallel Conventional Systems versus Parallel Logic Programming Systems on Distributed Shared Memory Architectures.
Technical Report ES-489/98, COPPE/Systems Engineering and Computer Science, Dezembro 1998.

25

CALEGARIO, V. M. and DUTRA, I. C.
Performance Comparison between Conventional and Logic Programming Systems.
Technical Report ES-478/98, COPPE/Systems Engineering and Computer Science, Setembro 1998.

26

CASTRO, L. F. P.
Um modelo analisador estático baseado na interpretação abstrata direcionado à paralelização de programas em lógica.
Dissertação de mestrado, Universidade Federal do Rio Grandedo Sul, 1997.

27

CASTRO, L. F. P. and GEYER, C. F. R.
ParTy - A Parallel-Types Analyser.
together with the ILPS'97, Oct 1997.

28

CENTENO, A. P. B. and GEYER, C. F. R.
Penelope: Um modelo de escalonador hierárquico para o sistema plosys.
In X Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1998.
Búzios, RJ.

29

CLOCKSIN, W. F.
Principles of the DelPhi parallel inference machine.
Computer Journal, 30(5):386-392, 1987.

30

J.S CONERY.
The AND/OR Process Model for Parallel Interpretation of Logic Programs.
PhD thesis, University of California at Irvine, 1983.

31

CORREIA, M. E., SILVA, F. M. A., and SANTOS COSTA, V.
The SBA: Exploiting orthogonality in OR-AND Parallel Systems.
In Proceedings of the 1997 International Logic Programming Symposium, Outubro 1997.
Also published as Technical Report DCC-97-3, DCC - FC & LIACC, Universidade do Porto, April, 1997.

32

COSTA, C. A.
Uma proposta de escalonamento distribuído para a exploração do paralelismo na programação em lógica.
Dissertação de mestrado, CPGCC - UFRGS, July 1998.

33

COSTA, C. A. and GEYER, C. F. R.
Uma proposta de escalonamento distribuiido para exploração de paralelismo na programação em lógica.
In X Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1998.
Búzios, RJ.

34

P. COUSOT and R. COUSOT.
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
In ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES, 4. ACM Press, 1977.

35

BARRY CRABTREE.
A clustering system to network control, British Telecom, March 1991.

36

MÁRCIO GONÇALVES da SILVA.
Influência de Parâmetros Arquiteturais em Sistemas Paralelos Programação Lógica.
Master's thesis, COPPE/Sistemas, UFRJ, MSc. thesis, Mar 1999.

37

DEBRAY, S. K., GARCÍA, P. L., HERMENEGILDO, M., and LIN, N.
Estimating the computacional cost of logic programs.
In International Static Analysis Symposium, volume 864 of Lecture Notes in Computer Science, Namur, Belgium, September 1994. Springer-Verlag.

38

DEBRAY, S. K. and LIN, N.
Cost analysis of logic programs.
ACM Transactions on Programming Languages and Systems, 15(5):826-875, November 1993.

39

A. K. DEWDNEY.
Mathematical Recreations - A Compendium of Math Abuse from around the World.
Scientific American, 263(5):142-145, September 1990.

40

DANIEL DIAZ and PHILIPPE CODOGNET.
A Minimum Extension of the WAM for clp(FD).
In 10th International Conference on Logic Programming, pages 774-792. The MIT Press, 1993.

41

TERRENCE DISZ and EWING LUSK.
A Graphical Tool for Observing the Behavior of Parallel Logic Programs.
In Proceedings of the 1987 International Logic Programming Symposium, pages 46-53, 1987.

42

I. C. DUTRA.
A Flexible Scheduler for Andorra-I.
In A Beaumont and G. Gupta, editors, Lecture Notes in Computer Science 569, Parallel Execution of Logic Programs, pages 70-82. Springer-Verlag, June 1991.

43

I. C. DUTRA.
Strategies for Scheduling And- and Or-Work in Parallel Logic Programming Systems.
In Proceedings of the 1994 International Logic Programming Symposium, pages 289-304. MIT Press, 1994.
Also available as technical report CSTR-94-09, from the Department of Computer Science, University of Bristol, England.

44

I. C. DUTRA.
Distributing And- and Or-Work in the Andorra-I Parallel Logic Programming System.
PhD thesis, University of Bristol, Department of Computer Science, February 1995.
available at http://www.cos.ufrj.br/$\sim$ines.

45

I. C. DUTRA.
Performance Analysis of a Strategy to Distribute And-work and Or-work in Parallel Logic Programming Systems.
In Proceedings of the VIII Brazilian Symposium on Computer Architecture and High Performance Processing - SBAC-PAD, pages 449-463, 1995.

46

I. C. DUTRA.
Distributing And-Work and Or-Work in Parallel Logic Programming Systems.
In Proceedings of the 29th Hawaii International Conference on System Sciences, pages 646-655. IEEE, 1996.

47

INÊS C. DUTRA, V. S. COSTA, M. CARRO, E. PONTELLI, G. GUPTA, and F. SILVA, editors.
Parallelism and Implementation of Logic and Constraint Logic Programming.
Nova Science, Inc., 1999.

48

C. AMZA et. al.
TreadMarks: Shared memory computing on networks of workstations.
IEEE Computer, 19(2):18-28, February 1996.

49

FERRARI, D. N.
O uso e implementação de informações de granulosidade no plosys.
Trabalho individual, Universidade Federal Do Rio Grande Do Sul, 1998.

50

FERRARI, D. N., VARGAS, P. K., GEYER, C. F. R., and BARBOSA, J. L. V.
Modelo de integração plosys-granlog: Aplicação de análise de granulosidade na exploração do paralelismo ou.
In XXV Conferência Latino Americana de Informática/V Encontro Chileno de Computação da Sociedade Chilena de Computação (CLEI - PANEL'98), 1999.
Submitted.

51

L. GÓMEZ, M. CARRO, and M. HERMENEGILDO.
Some Paradigms for Visualising Parallel Execution of Logic Programs.
In Proceedings of the Tenth International Conference on Logic Programming, pages 184-202, 1993.

52

GREGORY, S.
Parallel Logic Programming in PARLOG.
Addison-Wesley, 1987.

53

GOPAL GUPTA and BHARAT JAYARAMAN.
On Criteria for Or-parallel Execution of Logic Programs.
In Proceedings of the 1990 North American Conference on Logic Programming, pages 737-756. MIT Press, October 1990.

54

GOPAL GUPTA and VíTOR SANTOS COSTA.
And-Or Parallelism in Full Prolog with Paged Binding Arrays.
In LNCS 605, PARLE'92 Parallel Architectures and Languages Europe, pages 617-632. Springer-Verlag, June 1992.

55

GUPTA, G., HERMENEGILDO, M., PONTELLI, E., and SANTOS COSTA, V.
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
In Proc. ICLP'94, pages 93-109. MIT Press, 1994.

56

GUPTA, G., HERMENEGILDO, M., and SANTOS COSTA, V.
And-Or Parallel Prolog: A Recomputation based Approach.
New Generation Computing, 11(3,4):770-782, 1993.

57

GUPTA, G. and HERMENEGILDO, M. V.
Recomputation based Implementations of And-Or Parallel Prolog.
In International Conference on Fifth Generation Computer Systems 1992, pages 770-792. ICOT, Tokyo, Japan, June 1992.

58

GUPTA, G., HERMENEGILDO, M. V., PONTELLI, E., and SANTOS COSTA, V.
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
In Proceedings of the Eleventh International Conference on Logic Programming, Italy, June 1994.

59

GUPTA, G., PONTELLI, E., and HERMENEGILDO, M.
&ACE: A High Performance Parallel Prolog System.
In Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94, 1994.

60

HARIDI, S. and JANSSON, S.
Kernel Andorra Prolog and its Computational Model.
In D.H.D. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 31-46. MIT Press, 1990.

61

MANUEL HERMENEGILDO.
An Abstract Machine for Restricted And-Parallel Execution of Logic Programs.
In Ehud Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 25-39. Springer-Verlag, 1986.

62

HERMENEGILDO, M. V. and GREENE, K.
&-Prolog and its Performance: Exploiting Independent And-Parallelism.
In Proceedings of the Seventh International Conference on Logic Programming, pages 253-268. MIT Press, June 1990.

63

LYDIA T. HLUCHOWECKYJ.
Recognising Road Marking Structures for Autonomous Vehicle Navigation using Computer Vision.
PhD thesis, University of Bristol, Bristol, England, 1993.

64

DOUGLAS R. HOFSTADTER.
Gödel, Escher, Bach: an eternal golden braid.
Harmondsworth: Penguin, 1980.

65

I. C. DUTRA and V. SANTOS COSTA and J. L. V. BARBOSA and C. F. R. GEYER.
Using Compile-Time Granularity Information to Support Dynamic Work Distribution in Parallel Logic Programming Systems.
available from http://www.cos.ufrj.br/ ines/projs/ai-orca.ps, June 1998.

66

JANSSON, S. and HARIDI, S.
Programming Paradigms of the Andorra Kernel Language.
In Proceedings of the 1991 International Logic Programming Symposium, pages 167-186. MIT Press, October 1991.

67

Peter Kacsuk and Michael J. Wise, editors.
Implementations of Distributed Prolog.
Wiley, Series in Parallel Computing, 1992.

68

LESLIE LAMPORT.
Time, Clocks and the ordering of Events in a Distributed System.
Communications of the ACM, 21(7), Jul 1993.

69

LIN, N.
Automatic Complexity Analysis of Logic Programs.
PhD Thesis, Department of Computer Science, University of Arizona, Tucson: University of Arizona, 1993.

70

LUSK, E. et al.
The Aurora or-parallel Prolog system.
In International Conference on Fifth Generation Computer Systems 1988, pages 819-830, epelewski, A. and Hausman, B., Nov 1988. ICOT, Tokyo, Japan.

71

LUSK, E. et al.
The Aurora or-parallel Prolog system.
New Generation Computing, 7(2,3):243-271, 1990.

72

KIM MARRIOT and PETER J. STUCKEY.
Programming with Constraints.
MIT Press, 1998.

73

HIDEO MASUKAWA, KOUICHI KUMON, AKIHIRO ITASHIKI, KEN SATOH, and YUKIO SOHMA.
"Kabu-Wake" Parallel Inference Mechanism and Its Evaluation.
In 1986 Proceedings Fall Joint Computer Conference, pages 955-962. IEEE Computer Society Press, November 1986.

74

JOHAN MONTELIUS.
Penny, A Parallel Implementation of AKL.
PhD thesis, Swedish Institute for Computer Science, SICS, Sweden, May 1997.

75

MONTELIUS, J.
Penny, A Parallel Implementation of AKL.
In ILPS'94 Post-Conference Workshop in Design and Implementation of Parallel Logic Programming Systems, Ithaca, NY, USA, November 1994.

76

MOOLENAAR, R. and DEMOEN, B.
A parallel implementation for AKL.
In Proceedings of the Programming Language Implementation and Logic Programming: PLILP '93, Tallin, Estonia, pages 246-261, 1993.

77

E. MOREL, J. BRIAT, J. CHASSIN de KERGOMMEAUX, and C. GEYER.
Side-Effects in PloSys OR-parallel Prolog on Distributed Memory Machines.
In JICSLP'96 Post-Conference Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, Germany, September 1996.

78

DEWI MUNAF and BRIAN TESTER.
And/Or Parallel Programming in Practice.
Technical Report, Project 1251:WP 12:1203, British Telecom, November 1993.

79

PROTIC, TOMASEVIC, and MILUTINOVIC.
Distributed Shared Memory: Concepts and Systems.
4(2), 1996.

80

V. SANTOS COSTA and R. BIANCHINI.
Optimising Parallel Logic Programming Systems for Scalable Machines.
In Proceedings of Europar 1998, Southampton, UK, 1998.

81

V. SANTOS COSTA, MANUEL EDUARDO CORREIA, and FERNANDO SILVA.
Performance of Sparse Binding Arrays for Or-Parallelism.
In Proceedings of the VIII Brazilian Symposium on Computer Architecture and High Performance Processing - SBAC-PAD, August 1996.

82

V. SANTOS COSTA, D. H. D. WARREN, and R. YANG.
The Andorra-I Preprocessor: Supporting full Prolog on the Basic Andorra model.
In Proceedings of the Eighth International Conference on Logic Programming, pages 443-456. MIT Press, June 1991.

83

VíTOR SANTOS COSTA.
Cowl: Copy-on-write for logic programs.
In IEEE Press, editor, Proceedings of the IPPS99, May 1999.

84

SANTOS COSTA, V. and BIANCHINI, R.
Optimising Parallel Logic Programming Systems for Scalable Machines.
In Proceedings of the EUROPAR'98, pages 831-841, Sep 1998.

85

SANTOS COSTA, V., BIANCHINI, R., and DUTRA, I. C.
Evaluanting Parallel Logic Programming Systems on Scalable Multiprocessors.
In Proceedings of the 2nd International Symposium on Parallel Symbolic Computation (PASCO'97), pages 58-67, July 1997.

86

SANTOS COSTA, V., BIANCHINI, R., and DUTRA, I. C.
Evaluating the impact of coherence protocols on parallel logic programming systems.
In Proceedings of the 5th EUROMICRO Workshop on Parallel and Distributed Processing, pages 376-381, 1997.
Also available as technical report ES-389/96, COPPE/Systems Engineering, May, 1996.

87

SANTOS COSTA, V., WARREN, D. H. D., and YANG, R.
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.
In Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, pages 83-93. ACM press, April 1991.
SIGPLAN Notices vol 26(7), July 1991.

88

SANTOS COSTA, V. and YANG, R.
Andorra-I user's guide and reference manual.
Technical report, University of Bristol, Computer Science Department, Sept 1990.
Internal Report, Gigalips Project.

89

SANTOS COSTA, V. S. and BIANCHINI, R. and DUTRA, I. C.
Parallel Logic Programming Systems on Scalable Architectures.
Journal of Parallel and Distributed Computing, 1999.
Submitted.

90

KISH SHEN.
An Overview of DASWAM -- An Implementation of DDAS.
Technical Report CSTR-92-08, Computer Science Department, University of Bristol, 1992.

91

KISH SHEN and MANUEL HERMENEGILDO.
On the virtues of spaghetti.
In ICLP'93 Postconference Workshop on Practical Implementations and Systems Experience, 1993.

92

MÁRCIO G. SILVA, INÊS C. DUTRA, RICARDO BIANCHINI, and VíTOR SANTOS COSTA.
The Influence of Parallel Computer Architectural Parameters on Parallel Logic Programming Systems.
Technical Report ES-477/98, COPPE/Systems Engineering and Computer Science, Setembro 1998.

93

MÁRCIO G. SILVA, INÊS C. DUTRA, RICARDO BIANCHINI, and VíTOR SANTOS COSTA.
The Influence of Computer Architectural Parameters on Parallel Logic Programming Systems.
In Gopal Gupta, editor, Workshop on Practical Aspects of Declarative Languages (PADL99), Lecture Notes in Computer Science 1551, pages 122-136, January 1999.
Also available as Technical Report ES/477-98, COPPE Systems Engineering, Sep/98.

94

SILVA, F. M. A.
An Implementation of Or-Parallel Prolog on a Distributed Shared Memory Architecture.
PhD thesis, Dept. of Computer Science, Univ. of Manchester, September 1993.

95

SINDAHA, R. Y.
Branch-Level Scheduling in Aurora: The Dharma Scheduler.
PhD thesis, University of Bristol, Department of Computer Science, In preparation, 1993.

96

J. SUNBERG and C. SVENSSON.
Muse trace: A graphic tracer for or-parallel prolog.
Technical report, SICS, 1990.

97

EVAN TICK.
Prolog Memory-Referencing Behavior.
Technical Report CSL-TR-85-281, Computer Systems Laboratory, Stanford University, Stanford, CA 94305, September 1985.

98

EVAN TICK.
Compile Time Granularity Analysis for Parallel Logic Programming Systems.
New Generation Computing, 7(2,3):325-337, 1990.

99

TICK, E.
Compile Time Granularity Analysis for Parallel Logic Programming Systems.
New Generation Computing, 7(2,3):325-337, 1990.

100

TREVISAN, T. S. and BARBOSA, J. L. V. (Orientador).
Orca 2.0 (or complexity analyzer).
Projeto de diplomação, Universidade Católica de Pelotas, Pelotas: UCPel, 1998.

101

PASCAL van HENTENRYCK.
Constraint Satisfaction in Logic programming.
MIT Press, 1989.

102

VARGAS, P. K.
Implementação de um analisador de granulosidade para prolog.
Projeto de Diplomação, July 1995.
CPGCC - UFRGS.

103

VARGAS, P. K. and GEYER, C. F. R.
Introduzindo o paralelismo ou na programação em lógica com restrições.
IX Simpósio Brasileiro de Arquitetura de Computadores e processamento de Alto Desempenho, 1997.
Campos do Jordão, SP.

104

VARGAS, P. K. and GEYER, C. F. R.
Uma política de escalonamento distribuída no modelo pclp(fd) de exploração de paralelismo ou.
XXIV Conferência Latino Americana de Informática/V Encontro Chileno de Computação da Sociedade Chilena de Computação (CLEI - PANEL'98), 1998.
Quito, Ecuador.

105

VARGAS, P. K. V., GEYER, C. F. R., and DUTRA, I. C.
Tamagoshi - plataforma para avaliação de escalonamento de tarefas em programação em lógica paralela.
In X Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho, 1998.
Búzios, RJ.

106

RICK VAUPEL, ENRICO PONTELLI, and GOPAL GUPTA.
Visualization of And/Or-Parallel Execution of Logic Programs.
In Proceedings of the Fourteenth International Conference on Logic Programming, pages 271-285, 1997.

107

ANDREW R. VERDEN and HUGE GLASER.
Independent And-Parallel Prolog for Distributed Memory Architectures.
Technical report, Department of Electronics and Computer Science, University of Southampton, April 1990.

108

D. H. D. WARREN.
The SRI model for or-parallel execution of Prolog--abstract design and implementation issues.
In Proceedings of the 1987 Symposium on Logic Programming, pages 92-102, 1987.

109

DAVID H. D. WARREN and FERNANDO C. N. PEREIRA.
An Efficient Easily Adaptable System for Interpreting Natural Language Queries.
Technical Note, Dept of AI, University of Edinburgh, 1981.

110

RONG YANG.
Solving simple substitution ciphers in Andorra-I.
In Proceedings of the Sixth International Conference on Logic Programming, pages 113-128. MIT Press, June 1989.

111

RONG YANG, VíTOR SANTOS COSTA, and DAVID H. D. WARREN.
The Andorra-I Engine: A parallel implementation of the Basic Andorra model.
In Proceedings of the Eighth International Conference on Logic Programming, pages 825-839. MIT Press, 1991.

112

YANG, R., BEAUMONT, T., DUTRA, I. C., SANTOS COSTA, V., and WARREN, D. H. D.
Performance of the Compiler-Based Andorra-I System.
In Proceedings of the Tenth International Conference on Logic Programming, pages 150-166. MIT Press, June 1993.