H ? « ‹ ← → › »

Language peer sets for MERCURY:
Australia↑
Australia/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑
Experimental and other ↑
Experimental and other/1995↑
Experimental and other/au ↑

MERCURY (2226/mer001)

 Logo

Logic/functional language 

alternate simple view
Country: Australia
Designed 1995
Sammet category: Experimental and other

Logic/functional language which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic systems, and close to conventional programming systems.

Structures:
Related languages
MERCURY → Mercury.NET   Implementation
References:
  • Somogyi, Zoltan; Henderson, Fergus and Conway, Tho (1995) Somogyi, Zoltan; Henderson, Fergus and Conway, Thomas "Mercury: an efficient purely declarative logic programming language" ASCS'95, Glenelg, Australia. Abstract Extract: Introduction
  • Somogyi, Zoltan and Henderson, Fergus (1996) Somogyi, Zoltan and Henderson, Fergus "The design and implementation of Mercury"
          in Joint International Conference and Symposium on Lo (1996) Joint International Conference and Symposium on Logic Programming. Bonn, Germany, September 1996
  • Zoltan Somogyi, Fergus Henderson, Thomas Conway, A (1996) Zoltan Somogyi, Fergus Henderson, Thomas Conway, Andrew Bromage, Tyson Dowd, David Jeffery, Peter Ross, Peter Schachte and Simon Taylor. Status of the Mercury system Presented at the JICSLP '96 Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages, Bonn, Germany, September 19 96
          in Joint International Conference and Symposium on Lo (1996) Joint International Conference and Symposium on Logic Programming. Bonn, Germany, September 1996
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder