Implementations of Prolog running on top of the Java Virtual Machine.