4.0.0 org.bitbucket.goalhub.krTools krLanguages org.bitbucket.goalhub krTools 1.2.5 pom Knowledge representation technologies that support the KR interface defined in the Knowledge Representation Tools project. swiprolog swiprologlibs