From The Free On-line Dictionary of Computing: (http://www.foldoc.org/, Editor Denis Howe)
A programming language for rule-based production systems. A rule consists of pre-condition(s) and a resulting action.
The system checks its working memory to see if there are rules whose pre-conditions are satisfied, if so, the action in one selected satisfied rule is executed.