Prolog: Add notes about backtracking.
Prolog: Fix TODO notes with knowledge for computation process.