KL-ONE Incorporated features of
Prolog III Built on

KR Lanugage

FORKADS 0 Based on
1