mercury
所属分类:collect
开发工具:Mercury
文件大小:0KB
下载次数:0
上传日期:2023-07-24 23:58:49
上 传 者:
sh-1993
说明: Mercury逻辑编程系统。,
(The Mercury logic programming system.,)
文件列表:
.INSTALL.in (10424, 2024-01-03)
.dockerignore (1457, 2024-01-03)
.nocopyright (562, 2024-01-03)
BUGS (1377, 2024-01-03)
COPYING (17982, 2024-01-03)
COPYING.LIB (26560, 2024-01-03)
Dockerfile (2801, 2024-01-03)
HISTORY (255659, 2024-01-03)
LICENSE (4729, 2024-01-03)
LIMITATIONS.md (2443, 2024-01-03)
Makefile (2372, 2024-01-03)
Makefile.DLLs (7369, 2024-01-03)
Mmake.common.in (20183, 2024-01-03)
Mmake.workspace (8107, 2024-01-03)
Mmakefile (26900, 2024-01-03)
NEWS.md (76269, 2024-01-03)
... ...
Mercury
=======
[Mercury](https://www.mercurylang.org/) is a logic/functional programming
language which combines the clarity and the expressiveness of declarative
programming with advanced static analysis and error detection features.
More information is available on the
[website's about pages](https://www.mercurylang.org/about.html),
in other README files in the source code repository, and in the
[documentation](https://www.mercurylang.org/documentation/documentation.html).
Small sample programs written in Mercury can be found
in the [samples](samples) and [extras](extras) directories
of the source code repository.
## README files
The Mercury compiler has two different
[backends](https://www.mercurylang.org/about/backends.html)
and works on different operating systems.
Specific information is contained in individual README files:
* [Bootstrapping](README.bootstrap) discusses how to get Mercury installed.
This is important, as the Mercury compiler is written in Mercury.
* C Low-level backend
This backend works well with GCC but also works with:
* [Clang](README.clang.md)
* High-level backend targets
* C
* [C#](README.CSharp.md)
* [Java](README.Java.md)
* Supported operating systems
* [Linux](README.Linux)
([AArch64](README.Linux-aarch64.md),
[PPC](README.Linux-PPC),
[m68k](README.Linux-m68k))
* [macOS](README.macOS.md)
* [FreeBSD](README.FreeBSD.md)
* [OpenBSD](README.OpenBSD.md)
* [AIX](README.AIX.md)
* [HP-UX](README.HPUX.md)
* [Solaris](README.Solaris.md)
* [Windows](README.MS-Windows.md)
([Visual C](README.MS-VisualC.md),
[MinGW](README.MinGW),
[Cygwin](README.Cygwin.md))
* Other platform information
* [Cross compilation](README.cross.md)
* [Docker](README.Docker)
* [x86](README.x86)
## Other information
See the current [release notes](RELEASE_NOTES) for the latest stable release.
The [news](NEWS.md) file lists any recent changes.
The [history](HISTORY) file is relevant
if you want to find out more about the past development of Mercury.
The [limitations](LIMITATIONS.md) file lists some ways
in which the Mercury implementation does not yet meet its goals.
## Information for developers
If you are considering contributing to the Mercury project,
the website contains some documents that may be helpful.
These include a document about
[contributions in general](https://www.mercurylang.org/development/contributions.html) and
[specific information](https://www.mercurylang.org/development/developer.html)
about contributing such as coding styles.
## Contact
See [our contact page](https://www.mercurylang.org/contact.html).
近期下载者:
相关文件:
收藏者: