InterProlog is a Java front-end and enhancement for Prolog
