Lira is a declarative domain-specific language designed to be the backbone of financial contracts that can be executed on the blockchain
Why do you think that https://github.com/mateioprea/Searching-In-An-Infinite-Space-Prolog is a good alternative to lira