Java-based lightweight Prolog virtual machine - View it on GitHub