This category only for implementations Prolog language.
Implementations of Prolog running on top of the Java Virtual Machine.