GitHub repository: mia-li-z/projog
Description: Prolog programming for the Java platform.