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:
“A novel which survives, which withstands and outlives time, does do something more than merely survive. It does not stand still. It accumulates round itself the understanding of all these persons who bring to it something of their own. It acquires associations, it becomes a form of experience in itself, so that two people who meet can often make friends, find an approach to each other, because of this one great common experience they have had ...”
—Elizabeth Bowen (1899–1973)
“Opera, next to Gothic architecture, is one of the strangest inventions of Western man. It could not have been foreseen by any logical process.”
—Kenneth MacKenzie Clark, Baron of Saltwood (1903–1983)