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:
“So live that when thy summons comes to join
The innumerable caravan that moves
To that mysterious realm, where each shall take
His chamber in the silent halls of death,
Thou go not, like the quarry-slave at night,
Scourged to his dungeon, but, sustained and soothed
By an unfaltering trust, approach thy grave
Like one who wraps the drapery of his couch
About him and lies down to pleasant dreams.”
—William Cullen Bryant (1794–1878)
“The truth is, that common-sense, or thought as it first emerges above the level of the narrowly practical, is deeply imbued with that bad logical quality to which the epithet metaphysical is commonly applied; and nothing can clear it up but a severe course of logic.”
—Charles Sanders Peirce (1839–1914)