HERA Prolog Implementation – The HERA Project