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:
“Let me approach at least, and touch thy hand.
[Samson:] Not for thy life, lest fierce remembrance wake
My sudden rage to tear thee joint by joint.
At distance I forgive thee, go with that;
Bewail thy falsehood, and the pious works
It hath brought forth to make thee memorable
Among illustrious women, faithful wives:
Cherish thy hast’n’d widowhood with the gold
Of Matrimonial treason: so farewel.”
—John Milton (1608–1674)
“The novel is not “a crazy quilt of bits”; it is a logical sequence of psychological events: the movements of stars may seem crazy to the simpleton, but wise men know the comets come back.”
—Vladimir Nabokov (1899–1977)