Symbolic Logic:Programming

Programming in symbolic logic is the solving of problems. The solving of problems is reduced to the solving of trivial equations. Analysis will already have derived theorems and solved complex equations.

Programming implements the decision making process. It executes the logic discovered by analysis, to initiates actions.


 * Program Model

Links

 * Intelligence and Reasoning