A new logic/functional programming language. #Logic programming #Programming language #Logic #Programming #Compiler #Language
Logic programming languages have been around for more than twenty years. Despite the expected advantages of a very high level programming language based upon well developed theories of logic over conventional programming languages (such as C, C++, Pascal and Ada) they have not had significant impact on the computer industry.
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features.
Mercury is highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems.
Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
Limitations in the unregistered version
- The current implementation does not yet completely implement the Mercury language. The main limitations of the current implementation are the following:
- We do not allow definite aliasing in the mode system. Without this, partially instantiated modes are unusable, and so are nested unique modes.
- The compiler does not yet use structure reuse or compile-time garbage collection to exploit unique modes.
- Type and mode inference are a bit imperfect.
- Design decisions in this implemenation have imposed the following limits:
- Predicates and functions can have at most about 1000 arguments.
- Higher-order terms can have at most about 500 arguments.
What's new in Mercury 13.05.1:
- This bugfix release fixes build problems on Solaris and NetBSD and adds support for selecting the C# compiler at configuration time.
- Various other minor bugs have been fixed.
- There are also some minor additions to the standard library.
Mercury 13.05.1
add to watchlist add to download basket send us an update REPORT- runs on:
- Linux
- filename:
- mercury-srcdist-13.05.1.tar.gz
- main category:
- Programming
- developer:
- visit homepage
calibre 7.9.0
Effortlessly keep your e-book library thoroughly organized with the help of the numerous features offered by this efficient and capable manager
IrfanView 4.67
With support for a long list of plugins, this minimalistic utility helps you view images, as well as edit and convert them using a built-in batch mode
ShareX 16.0.1
Capture your screen, create GIFs, and record videos through this versatile solution that includes various other amenities: an OCR scanner, image uploader, URL shortener, and much more
Bitdefender Antivirus Free 27.0.35.146
Feather-light and free antivirus solution from renowned developer that keeps the PC protected at all times from malware without requiring user configuration
Windows Sandbox Launcher 1.0.0
Set up the Windows Sandbox parameters to your specific requirements, with this dedicated launcher that features advanced parametrization
Context Menu Manager 3.3.3.1
Customize Windows’ original right-click context menu using this free, portable and open-source utility meant to enhance your workflow
7-Zip 23.01 / 24.04 Beta
An intuitive application with a very good compression ratio that can help you not only create and extract archives, but also test them for errors
Zoom Client 6.0.3.37634
The official desktop client for Zoom, the popular video conferencing and collaboration tool used by millions of people worldwide
Microsoft Teams 24060.3102.2733.5911 Home / 1.7.00.7956 Work
Effortlessly chat, collaborate on projects, and transfer files within a business-like environment by employing this Microsoft-vetted application
4k Video Downloader 1.5.3.0080 Plus / 4.30.0.5655
Export your favorite YouTube videos and playlists with this intuitive, lightweight program, built to facilitate downloading clips from the popular website
% discount
Zoom Client
- Zoom Client
- Microsoft Teams
- 4k Video Downloader
- calibre
- IrfanView
- ShareX
- Bitdefender Antivirus Free
- Windows Sandbox Launcher
- Context Menu Manager
- 7-Zip
essentials
Click to load comments
This enables Disqus, Inc. to process some of your data. Disqus privacy policy