Programming is about building abstraction upon abstraction. If you don't understand the abstractions upon which you're building, you'll have trouble building u

Programming is about building abstraction upon abstraction. If you don't understand the abstractions upon which you're building, you'll have trouble building upon them. Unification and backtracking take some effort to grok. If you grok them you can put them to use in a clean and efficient way. If not then Prolog remains a mystery.