swiprolog
1.4.0
An implementation of the KR Interface defined in the KR Tools project for SWI Prolog.
An implementation of the KR Interface defined in the KR Tools project for SWI Prolog.