Quite apart from their cognitive plausibility, production systems have advantages over conventional programming languages that make them ideal for task domains in which knowledge may change or grow over time, and in which the initial problem state and final solution state may differ from user to user: they are flexible, modular, and plausible.