Jess

Paradigms	logic programming, declarative programming
First appeared	1995
Developer	Sandia National Laboratories
Type	rule-based language, inference engine, programming language
Written in	Java