KLIPS

AcronymDefinition
KLIPSKilo (Thousand) Logical Inferences Per Second