Difference between revisions of "Mercury"

From Free Software Directory
Jump to: navigation, search
(Created page with "{{Entry |Name=Mercury |Short description=Logic/functional programming language |Full description=Mercury is a modern logic/functional programming language. It includes a compiler...")
 
(Changed URLs added info new version gh page)
Line 3: Line 3:
 
|Short description=Logic/functional programming language
 
|Short description=Logic/functional programming language
 
|Full description=Mercury is a modern logic/functional programming language. It includes a compiler, a debugger, a profiler, and numerous library packages and other tools. It is designed to be the successor to logic programming languages like Prolog. It 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 programming systems, and close to conventional programming systems. It allows modularity, separate compilation, and numerous optimization/time trade-offs.
 
|Full description=Mercury is a modern logic/functional programming language. It includes a compiler, a debugger, a profiler, and numerous library packages and other tools. It is designed to be the successor to logic programming languages like Prolog. It 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 programming systems, and close to conventional programming systems. It allows modularity, separate compilation, and numerous optimization/time trade-offs.
 +
|Homepage URL=http://www.mercurylang.org/
 
|User level=none
 
|User level=none
−
|Status=Live
 
−
|Component programs=
 
−
|Homepage URL=http://www.cs.mu.oz.au/research/mercury/
 
−
|VCS checkout command=
 
 
|Computer languages=Mercury
 
|Computer languages=Mercury
−
|Documentation note=User guide, reference manual, and tutorial available in HTMl or PostScript formats from http://www.cs.mu.oz.au/research/mercury/information/documentation.html
+
|Documentation note=User guide, reference manual, and tutorial available in HTMl or PostScript formats from http://www.mercurylang.org/documentation/documentation.html
−
|Paid support=
+
|Version identifier=14.01.1
−
|IRC help=
+
|Version date=2014/09/08
−
|IRC general=
+
|Version status=stable
−
|IRC development=
+
|Version download=http://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz
−
|Related projects=
+
|Last review by=BABA200
−
|Keywords=programming languages,languages,mercury,logic
+
|Last review date=2017/02/20
−
|Is GNU=n
 
−
|Last review by=Janet Casey
 
−
|Last review date=2008-01-09
 
 
|Submitted by=Database conversion
 
|Submitted by=Database conversion
 
|Submitted date=2011-04-01
 
|Submitted date=2011-04-01
−
|Version identifier=0.13.1
+
|Status=
−
|Version date=2006-12-01
+
|Is GNU=No
−
|Version status=stable
+
|License verified date=2008-07-09
−
|Version download=http://www.cs.mu.oz.au/research/mercury/download/release.html
+
}}
 +
{{Project license
 +
|License=GPLv2orlater
 +
|License verified by=Deborah Nicholson
 +
|License verified date=2008-07-09
 +
}}
 +
{{Project license
 +
|License=LGPLv2
 +
|License verified by=Deborah Nicholson
 
|License verified date=2008-07-09
 
|License verified date=2008-07-09
−
|Version comment=
 
 
}}
 
}}
 
{{Person
 
{{Person
 +
|Real name=Mercury core team
 
|Role=Maintainer
 
|Role=Maintainer
−
|Real name=The Mercury Group
+
|Email=mercury@mercurylang.org
−
|Email=mercury@cs.mu.oz.au
 
 
|Resource URL=
 
|Resource URL=
 
}}
 
}}
−
{{Person
+
{{Resource
−
|Role=Contributor
+
|Resource audience=User
−
|Real name=See
+
|Resource kind=Mailing List
−
|Email=
+
|Resource URL=users@lists.mercurylang.org
−
|Resource URL=http://www.flaterco.com/xtide/credits.html
 
 
}}
 
}}
 
{{Resource
 
{{Resource
−
|Resource audience=Help
+
|Resource audience=Developer
−
|Resource kind=E-mail
+
|Resource kind=Mailing List
−
|Resource URL=mailto:mercury-announce@cs.mu.oz.au
+
|Resource URL=developers@lists.mercurylang.org
 
}}
 
}}
 
{{Resource
 
{{Resource
−
|Resource audience=Developer
+
|Resource audience=General
−
|Resource kind=E-mail
+
|Resource kind=Bug Tracking
−
|Resource URL=mailto:mercury-developers@cs.mu.oz.au
+
|Resource URL=https://bugs.mercurylang.org/my_view_page.php
 
}}
 
}}
 
{{Resource
 
{{Resource
−
|Resource audience=Support
+
|Resource audience=GH page
−
|Resource kind=E-mail
+
|Resource kind=VCS Repository Webview
−
|Resource URL=mailto:mercury-users@cs.mu.oz.au
+
|Resource URL=https://github.com/Mercury-Language/mercury
 
}}
 
}}
 
{{Software category
 
{{Software category
Line 59: Line 59:
 
|Software-development=programming-language
 
|Software-development=programming-language
 
|Use=software-development
 
|Use=software-development
−
}}
 
−
{{Project license
 
−
|License=GPLv2orlater
 
−
|License verified by=Deborah Nicholson
 
−
|License verified date=2008-07-09
 
−
}}
 
−
{{Project license
 
−
|License=LGPLv2
 
−
|License verified by=Deborah Nicholson
 
−
|License verified date=2008-07-09
 
 
}}
 
}}
 
{{Software prerequisite
 
{{Software prerequisite
Line 78: Line 68:
 
|Prerequisite description=GNU make 3.69 or higher
 
|Prerequisite description=GNU make 3.69 or higher
 
}}
 
}}
 +
{{Featured}}

Revision as of 13:37, 20 February 2017


[edit]

Mercury

http://www.mercurylang.org/
Logic/functional programming language

Mercury is a modern logic/functional programming language. It includes a compiler, a debugger, a profiler, and numerous library packages and other tools. It is designed to be the successor to logic programming languages like Prolog. It 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 programming systems, and close to conventional programming systems. It allows modularity, separate compilation, and numerous optimization/time trade-offs.



Download

http://dl.mercurylang.org/release/mercury-srcdist-14.01.1.tar.gz




Categories





Licensing

License

Verified by

Verified on

Notes

License

GPLv2orlater

Verified by

Deborah Nicholson

Verified on

9 July 2008

License

LGPLv2

Verified by

Deborah Nicholson

Verified on

9 July 2008




Leaders and contributors

Contact(s)Role
Mercury core team Maintainer


Resources and communication

AudienceResource typeURI
GH pageVCS Repository Webviewhttps://github.com/Mercury-Language/mercury
GeneralBug Trackinghttps://bugs.mercurylang.org/my_view_page.php
DeveloperMailing Listmailto:developers@lists.mercurylang.org
UserMailing Listmailto:users@lists.mercurylang.org
Debian (Ref)https://tracker.debian.org/pkg/mercury


Software prerequisites

KindDescription
Required to buildgcc 2.7.2 or higher
Required to buildGNU make 3.69 or higher




Entry













"User" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.






"GH page" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property. 

































































				
Permission is granted to copy, distribute and/or modify this document
				under the terms of the GNU Free Documentation License, Version 1.3 or
				any later version published by the Free Software Foundation; with no
				Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
				copy of the license is included in the page “GNU Free
				Documentation License”.


				
The copyright and license notices on this page only apply to the
				text on this page.  Any software or copyright-licenses or other
				similar notices described in this text has its own copyright notice
				and license, which can usually be found in the distribution or license
				text itself. 


				

									

						Retrieved from "https://directory.fsf.org/wiki?title=Mercury&oldid=43790"