Logic Programming

Logic programming has grown out of research in automatic theorem proving. Early theorem prover can do very little, because they search the space of proofs exhaustively. The major breakthrough is the discovery of unification algorithm and the resolution principle. ¹

Footnotes

1. Book “Structure and Interpretation of Computer Programs” P. 624 ↩