Mercury Programming Language

Mercury is a functional/logical programming language based on Prolog, but designed to be more useful for real-world programming problems. Mercury is compiled rather than interpreted as is traditional for logic languages. It has a sophisticated, strict type and mode system. Its authors claim that these features and the abstract nature of logic programming make it easier to write reliable programs rapidly. Mercury's module system also makes it easy to divide logic programs up into self-contained units, a problem for logic programs in the past. A sample piece of programming in Mercury looks like
 
  :- module hello_world. 
  :- interface. 
  :- import_module io. 
  :- pred main(io__state, io__state).  :- mode main(di, uo) is det. 
  :- implementation. 
  main -->  	io__write_string("Hello, World!\n"). 
(by Ralph Becket at the University of Melbourne): Mercury is developed at the University Of Melbourne Computer Science department under the supervision of Dr. Zoltan Somogyi.

See also

External links

 

<< PreviousWord BrowserNext >>
empirical solution of the monty hall problem
module
may 21
mythology
mind map
molecular mechanisms of memory
machine gun
marine
monopoly (game)
max steiner
monty python and the holy grail
mutation
memory consolidation
microgyrus
mercantilism
meat puppets
list of mathematics competitions
michael polanyi
methanol
milk
miss congeniality
magnetism
filter (mathematics)
melbourne (disambiguation)
metallurgy
mumps
michael faraday
marriage
midgard
mage: the ascension
malcolm fraser
macquarie university
muspelheim
maxwell's equations
metrization theorem
martin agricola
max august zorn
main
marcus vipsanius agrippa
mariotto albertinelli
mandarin cuisine
mandaeanism
manichaeism
cuisine of morocco