CLIPS
Extension of
PCLIPS (1582)
Parallel CLIPS