Home » com.github.goalhub.krTools » krLanguages

Group: GitHub Goalhub KrTools KrLanguages
Sort by:Popular▼

1.SWI Prolog KR Interface6 usages

com.github.goalhub.krTools.krLanguages » swiprolog GPL

An implementation of the KR Interface defined in the KR Tools project for SWI Prolog.
Last Release on Sep 17, 2024

2.SWI Prolog Enabler1 usages

com.github.goalhub.krTools.krLanguages » swiPrologEnabler GPL

Installs SWI Prolog libraries
Last Release on Sep 17, 2024

3.Owlrepo

com.github.goalhub.krTools.krLanguages » owlrepo

POM was created from install:install-file
Last Release on Sep 17, 2024