History of the Development of Logic Programming
Logic Programming can be broadly defined as “using logic to deduce computational steps from existing propositions” (although this is somewhat controversial). The idea has a long development that went through many twists in which important questions turned out to have surprising answers including the following:
• Is computation reducible to logic?
• Are the laws of thought consistent?