Modern and safe symbolic mathematics
Why do you think that https://github.com/mthom/scryer-prolog is a good alternative to cycle
Modern and safe symbolic mathematics
Why do you think that https://github.com/mthom/scryer-prolog is a good alternative to cycle