The GNU Prolog native compiler
A real time inference engine for temporal logical specifications
Intellect Modeling Kit: assisting research, diagnostics, consulting
Speech recognition software for English & Polish languages
Utility converts the weights file of a MLP Breadboard into a formula
Azul OS version dev(Linux) IA
CLIPS with lock support. CLIPS for safely handling simultaneous access