The classic approach to rules based computational systems comes from work on logical
programming and deductive databases. Such theoretical concepts have found practical
use in expert system shellsi and in the development of rational agent based systemsii.
Logic based systems typically use a collection of Condition -> Action rules to encode the
behaviour and response of the system to a specific set of events. These systems function
by having a working memory of facts. By adding, removing or changing facts in the