jPro is a purely Java implementation of Prolog language.