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:
“Weaving spiders, come not here;
Hence, you longlegged spinners, hence!
Beetles black approach not near;
Worm nor snail, do no offence.”
—William Shakespeare (1564–1616)
“There is no logical reason why the camel of great art should pass through the needle of mob intelligence.”
—Rebecca West (1892–1983)