Knowledge representation in Prolog/KR