An efficient implementation of the higher-order logic programming language Lambda Prolog
Why do you think that https://github.com/LPCIC/elpi is a good alternative to teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
Why do you think that https://github.com/LPCIC/elpi is a good alternative to teyjus