Development of Logic Programming: What went wrong, What was done about it, and What it might mean for the future

Logic Programming can be broadly defined as "using logic to deduce computational steps from existing propositions." The idea has a long history, which went through many twists and turns. In these developments important questions turned out to have surprising answers including the following:

• Is computation reducible to logic?
• Are the laws of thought consistent?