CLIPS
Implementation
Clips++ (3175)
rewrite with extension of CLIPS in C++