KLIPS

[kilo logical inferences per second] килолипс, тысяча логических выводов в секунду