Lira Alternatives

Similar projects and alternatives to lira

core.logic

8 1,432 5.2 Clojure lira VS core.logic

A logic programming library for Clojure & ClojureScript
pyswip

5 444 0.0 Python lira 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.
InfluxDB

www.influxdata.com featured

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.
clojure-graph-resources

6 252 1.8 lira VS clojure-graph-resources

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

2 876 9.8 Mercury lira VS mercury

The Mercury logic programming system. (by Mercury-Language)
awesome-prolog

1 474 0.0 lira VS awesome-prolog

Curated list of Prolog packages and resources
hatlog

1 1 0.0 Python lira VS hatlog

custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
Searching-In-An-Infinite-Space-Prolog

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

PP2014 Prolog Homework
SaaSHub

www.saashub.com featured

SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

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

Suggest an alternative to lira

lira reviews and mentions

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

Why Learn Prolog in 2021?
8 projects | news.ycombinator.com | 5 Jan 2021

Lira[0] and its readable paper[1] is a good example of abstracting smart contracts into a statically typed, domain-specific language that describes the contract precisely at a high level. It's not Turing complete, which works for a large class of contracts (for instance, see the American and Asian options examples in [1]).
One concern with logic programming is cost of computation, on Ethereum every transaction has a gas associated with it and so you can't run computations that go over the gas available in a block.
Turner's ideas of Total Functional Programming[2] might have application in the smart contract space as well, since you disallow general recursion but allow structural recursion, you can likely precalculate or bound gas costs accurately ahead of time.
As for being statically typed, I completely agree, Solidity's poor design choices contributed to millions of USD in loss (e.g. DAO hack) because the developers were not able to easily reason about the implicit behavior or concurrency model.
[0] https://github.com/etoroxlabs/lira
[1] https://bahr.io/pubs/files/bahr15icfp-paper.pdf
[2] http://www.jucs.org/jucs_10_7/total_functional_programming/j...