H ? « ‹ ← → › »

Language peer sets for Andorra:
Japan↑
Japan/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1988↑
Specialised Languages/jp ↑

Andorra(ID:1384/and006)

Hybrid of  Parlog and Aurora 

alternate simple view
Country: Japan
Designed 1988
Published: 1988
Sammet category: Specialised Languages

The OR parallelism of Aurora plus the AND parallelism of Parlog.

from FAQ:
"The Basic Andorra Model is a way to execute definite clause programs that allows dependent and-parallelism to be exploited transparently. It also supports nice programming techniques for search programs.  The idea is to first reduce all goals that match at most one clause.  When no such goal exists, any goal (e.g., the left-most) may be chosen. The BAM was proposed by David H. D. Warren, and his group at Bristol has developed an AND-OR parallel implementation called Andorra-I, which also supports full Prolog"


Related languages
Aurora → Andorra   Derivation of
NU-Prolog → Andorra   Strong, Influence
Parlog → Andorra   Derivation of
Andorra → AKL   Evolution of
Andorra → Andorra-I   Implementation
Andorra → NUA-Prolog   Implementation
References:
  • Haridi, S. et al, (1988) Haridi, S. et al, "Andorra-Prolog: An Integration of Prolog and Committed Choice Languages", Intl Conf Fifth Gen Comp Sys 1988, ICOT 1988.
  • Haridi, S. and S. Janson, (1990) Haridi, S. and S. Janson, "Kernel Andorra Prolog and its Computation Model", Seventh Int Conference on Logic Programming, MIT Press 1990, pp. 31-46. Citeseer page pdf
  • Sverker Janson and Seif Haridi, (1991) Sverker Janson and Seif Haridi, "Programming Paradigms of the Andorra Kernel Language", in Proceedings of ILPS'91. MIT Press, 1991.
  • Torkel Franzen, (1991) Torkel Franzen, "Logical Aspects of the Andorra Kernel Language", SICS Research Report R91:12, Swedish Institute of Computer Science, 1991.
  • Vitor Santos Costa, David H. D. Warren, and Rong Y (1991) Vitor Santos Costa, David H. D. Warren, and Rong Yang, "Two papers on the Andorra-I engine and preprocessor", in Proceedings of the 8th ICLP. MIT Press, 1991.
  • Steve Gregory and Rong Yang, (1992) Steve Gregory and Rong Yang, "Parallel Constraint Solving in Andorra-I", in Proceedings of FGCS'92. ICOT, Tokyo, 1992.
  • Torkel Franzen, Seif Haridi, and Sverker Janson, (1992) Torkel Franzen, Seif Haridi, and Sverker Janson, "An Overview of the Andorra Kernel Language", In LNAI (LNCS) 596, Springer-Verlag, 1992.
  • Janson, Sverker; Montelius, Johan and Haridi, Seif (1993) Janson, Sverker; Montelius, Johan and Haridi, Seif "Ports for Objects in Concurrent Logic Programs"
          in [MIT] (1993) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993
  • Costa, Vítor Santos, Manuel Eduardo Correia, Ferna (1994) Costa, Vítor Santos, Manuel Eduardo Correia, Fernando M. A. Silva: "Aurora, Andorra-I and Friends on the Sun" Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41
          in [MIT] (1993) Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder