In this video I have discussed about proof search and back tracking in prolog.
No download links available.