Mercury Alternatives

Similar projects and alternatives to mercury

core.logic

8 1,432 5.2 Clojure mercury VS core.logic

A logic programming library for Clojure & ClojureScript
pyswip

5 442 0.0 Python mercury VS pyswip

PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
WorkOS

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
clojure-graph-resources

6 252 1.8 mercury VS clojure-graph-resources

A curated list of Clojure resources for dealing with graph-like data.
awesome-prolog

1 474 0.0 mercury VS awesome-prolog

Curated list of Prolog packages and resources
Searching-In-An-Infinite-Space-Prolog

1 1 0.0 Prolog mercury VS Searching-In-An-Infinite-Space-Prolog

PP2014 Prolog Homework
hatlog

1 1 0.0 Python mercury VS hatlog

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
lira

1 21 0.0 Haskell mercury VS lira

Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain
InfluxDB

www.influxdata.com sponsored

Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better mercury alternative or higher similarity.

Suggest an alternative to mercury

mercury reviews and mentions

Posts with mentions or reviews of mercury. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-05.

Term for translating between enum switch vs map lookup?
1 project | /r/Compilers | 31 Mar 2023

The Mercury compiler uses all of these techniques and more. Start here in the source code, and read the comments: https://github.com/Mercury-Language/mercury/blob/master/compiler/switch_gen.m
Why Learn Prolog in 2021?
8 projects | news.ycombinator.com | 5 Jan 2021

I'm not convinced there's great utility in smart contracts, but if there is, I think there's a huge utility in contracts being declarative and statically typed, to avoid many of the problems we've seen with existing contracts. In that case, a statically typed Prolog dialect would be a good starting point. The contract would be a set of declarative rules describing acceptable next states of the contract. To make the contracts verifiable in linear time, the submitter would submit the next state of the contract, plus a compact binary representation of the path taken through the rules set, so no backtracking would occur in the verifier. You could allow recursion, as verification time would still be linear in the size of the submitted compact path representation, just not linear in the size of the contract. If you disallow recursion, then verification would also be linear in the size of the contract.
Granted, many of the problems with Ethereum Solidity contracts are more to do with all of its use of implicit behavior (in a misguided attempt to hide the complexity of contracts) rather than directly consequences of Solidity being imperative.
Here's a quick plug for Mercury[0], a statically typed dialect of Prolog with an optimizing native code compiler. Supposedly it's 5 to 10 times faster than commercial Prolog compilers or available interpreters.
[0] https://github.com/Mercury-Language/mercury