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:
“I have watched ... many literary fashions shoot up and blossom, and then fade and drop.... Yet with the many that I have seen come and go, I have never yet encountered a mode of thinking that regarded itself as simply a changing fashion, and not as an infallible approach to the right culture.”
—Ellen Glasgow (1873–1945)
“I see mysteries and complications wherever I look, and I have never met a steadily logical person.”
—Martha Gellhorn (b. 1908)