Procedural Approach Versus Logical Approach
The two major paradigms for constructing semantic software systems were procedural and logical. The procedural paradigm was epitomized by Lisp which featured recursive procedures that operated on list structures.
The logical paradigm was epitomized by uniform proof procedure resolution theorem provers . According to the logical paradigm it was “cheating” to incorporate procedural knowledge .
Read more about this topic: Planner (programming Language)
Famous quotes containing the words approach and/or logical:
“There is no calm philosophy of life here, such as you might put at the end of the Almanac, to hang over the farmer’s hearth,—how men shall live in these winter, in these summer days. No philosophy, properly speaking, of love, or friendship, or religion, or politics, or education, or nature, or spirit; perhaps a nearer approach to a philosophy of kingship, and of the place of the literary man, than of anything else.”
—Henry David Thoreau (1817–1862)
“Philosophy aims at the logical clarification of thoughts. Philosophy is not a body of doctrine but an activity. A philosophical work consists essentially of elucidations.”
—Ludwig Wittgenstein (1889–1951)