Under the code name “hera2”, a Prolog implementation of HERA is available from now. It can be obtain from github here: https://github.com/existenzquantor/hera2
Under the code name “hera2”, a Prolog implementation of HERA is available from now. It can be obtain from github here: https://github.com/existenzquantor/hera2