H ? « ‹ ← → › »

Language peer sets for AKL:
Japan↑
Japan/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

AKL(ID:1610/akl001)

Andorra Kernel Language 

alternate simple view
Country: Japan
Designed 1991
Published: 1991

Andorra Kernel Language. Successor of KAP.

"AKL (Andorra Kernel Language) is a concurrent constraint programming
language that supports both Prolog-style programming and committed
choice programming.  Its control of don't-know nondeterminism is based
on the Andorra model, which has been generalised to also deal with
nondeterminism encapsulated in guards and aggregates (such as bagof)
in a concurrent setting." (from FAQ)
Related languages
Andorra → AKL   Evolution of
KAP → AKL   Evolution of
AKL → AKL   Renaming
References:
  • Haridi, Seif and Sverker Janson. (1990) Haridi, Seif and Sverker Janson. Kernel Andorra Prolog and its Computation Model. In Logic Programming: Proceedings of the Seventh International Conference. MIT Press, 1990. Abstract
  • Janson, Sverker and Haridi, Seif (1991) Janson, Sverker and Haridi, Seif "An Introduction to AKL - A Multi-Paradigm Programming Language"
          in NATO-ASI Constraint Programming. (991) NATO-ASI Constraint Programming. Springer-Verlag
  • Janson, Sverker and Seif Haridi. (1991) Janson, Sverker and Seif Haridi. Programming Paradigms of the Andorra Kernel Language. SICS Research Report R91:08, Swedish Institute of Computer Science, 1991.
          in NATO-ASI Constraint Programming. (991) NATO-ASI Constraint Programming. Springer-Verlag
  • S. Janson et al (1991) S. Janson et al "Programming Paradigms of the Andorra Kernel Language" Abstract
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Sverker Janson and Seif Haridi. (1991) Sverker Janson and Seif Haridi. "An Introduction to AKL - A Multi-Paradigm Programming Language"
          in Logic Programming: Proceedings of the 1991 Interna (1991) Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, 1991
  • Franzén, Torkel ; Seif Haridi, and Sverker Janson. (1992) Franzén, Torkel ; Seif Haridi, and Sverker Janson. An Overview of the Andorra Kernel Language.
          in Proceedings of the 2nd Workshop on Extensions to L (1992) Proceedings of the 2nd Workshop on Extensions to Logic Programming. LNCS. Springer-Verlag 1992.
  • Haridi, Seif; Janson, Sverker and Catuscia Palami (1992) Haridi, Seif; Janson, Sverker and Catuscia Palamidessi "Structural Operational Semantics of AKL" pp409-421.
          in (1992) Journal of Future Generation Computer Systems 8(1992)
  • Haridi, Seif ; Sverker Janson, et al. (1993) Haridi, Seif ; Sverker Janson, et al. Concurrent Constraint Programming at SICS with the Andorra Kernel Language
          in [Proceedings] (1993) Presented at First International Workshop on Principles and Practices of Constraint Programming (PPCP), 1993
  • (1994) PARallel FORmal Computing Environment (ESPRIT Basic Research) EATCS 1994 Report Abstract Extract: Parallel Logic Programming Platforms
          in [Proceedings] (1993) Presented at First International Workshop on Principles and Practices of Constraint Programming (PPCP), 1993
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder