prolog unification

[@UhelUhel]

Wish my teacher from logic would be so enthusiastic and informative as you.
Thanks.
exams are close!

[@roxiogamer]

Thanks so much. You have explained Unification in such an easy to understand way. I was completely lost in the 1 hour lecture, and you explain it in 20 mins. Thanks!

[@TheYanksin1st]

Thank you. You've done a much better job of explaining this than my professor does

[@diahnuri4830]

Great video! Thanks for your clear explanation

[@TooSweaty4U]

Just wasted 2 hours watching an university lecture about this.
It was disorganized, the rules weren't presented in a structured way, and I was left confused.
Watched this video and in 20 minutes now I understand well enough to start working on the assignemnts...

[@levi_snowfractal6062]

Thanks a bunch for the clear explanation and giving lots of examples. Helped me out with my presentation.

[@gamedevtobe]

Great explanation, thank you !

[@marwabakshi1866]

Perfect video! Thanks :)

[@2Cerealbox]

Such a shame you don't post anymore. These videos are great. Wish I'd found them earlier.

[@leoware9319]

Sooo useful---thank you so much

[@gondarethiopia3197]

good teaches

[@singwithnik6091]

Thank you so much ❤️

[@StreetArtist360]

Thank you very much.

[@blobbyblobb]

thank you, very clear examples

[@avramcs]

If anyone finds themselves like me learning how to do Prolog before a test and it’s a god damn dungeon of language let me just say Good Luck! You are rare but not alone. Also on some actual help shit, use member and select to randomly choose an item from a list

[@omarwael4498]

Thank you sir!

[@TheMyanka]

Thank you so much ! :). Very clear and precise.

[@saraar5553]

great tutorial! i finally understand it :D

[@alixak4304]

Robinson's unification algorithm [en.wikipedia.org/wiki/Unification_(computer_science)#A_unification_algorithm]

[@slayerq3]

Great tutorial.

[@alixak4304]

Really good work ! thanks a lot :)

[@ninavolodina3684]

I need fuzzy structural matching. Is any Prolog or inference algorithm exists which let me do inference using some sort of similarity unification ? For example, find formulas in knowledge database by pattern, for example on "int x^2 dx " query get first find x^3/3+C solution, then integral definition, then x^2 function, then generic x^y power function,... ordered by similarity

[@arwafaris3682]

thank you

[@RawwestHide]

thanks

[@Warwipf]

Thanks