An implementation of the KR Interface defined in the KR Tools project for SWI Prolog.
Installs SWI Prolog libraries
Advertisement
Top Dependency Usages