Exploring implications is a common activity within decision making. A program existing in a KS is a sequence of commands that instruct a computer what to do in support of a decision maker. These may be commands to evaluate expressions, assigning the results to variables rather than cells. They may be commands to interact with a user or with other KS contents. They may be commands to control the use of other commands in the program by way of conditional branching or iteration.
Program management is a versatile, flexible means for managing procedural knowledge.
However, it generally requires more skill and training than what is needed to effectively use solver or spreadsheet management implementations. A menu is an object for presenting a set of options to a user, capturing a user's selection, and either reporting that selection to a program or initiating further processing based on that selection. The first is oriented toward treating linguistic and presentation knowledge. The next two are primarily means for dealing with presentation knowledge. Rule management is principally intended for coping with reasoning knowledge.