Thank you very much for this video series on Prolog. I'm a retired mathematician who has been studying basic computational logic and automated theorem proving off and on for the last couple of years. I switch between Lisp and Prolog for writing programs, and your web pages and videos are helping me to gain a deeper understanding of Prolog. In particular, I've been able to clean up and improve my Prolog code for a fairly simple implementation of DPLL. Wieder, danke sehr!
Hello! I greatly enjoy your videos! I was wondering if you're planning to do a video on Prolog's unification algorithm! That would be really amazing! Cheers.
Thank you very much for this video series on Prolog. I'm a retired mathematician who has been studying basic computational logic and automated theorem proving off and on for the last couple of years. I switch between Lisp and Prolog for writing programs, and your web pages and videos are helping me to gain a deeper understanding of Prolog. In particular, I've been able to clean up and improve my Prolog code for a fairly simple implementation of DPLL. Wieder, danke sehr!
Thank you so much for your kind message! I am very glad you find these videos and texts useful! Enjoy!
Hello! I greatly enjoy your videos! I was wondering if you're planning to do a video on Prolog's unification algorithm! That would be really amazing! Cheers.
I will learn all your lectures :)
Thank you sir, I learned a lot :)