Most general Unifier with Martelli/Montanari algorithm example

Hope this kind of tough example helps some of you get the hang of this algorithm :)

[@Schwane6]

according to that pen, we study at the same university :D
thanks for the video. Logic exam is on monday, that helped a lot.

[@davidlightman4929]

thanks, super useful
just right before my exam this afternoon

[@Atty1997]

christ sake I'm still stunned by the fact that next week I'm going to class and there will be the actual professor Martelli

[@baharehbadiei7698]

Thanks. It helped a lot :)

[@rocoss1]

awesome video, thanks a lot!

[@theprovidencesalumu]

Awesome!

[@rampedilesley9330]

Thank you so much.

[@alcindo7323]

Killer name and surname :D helpful tut. Cheers Valentin

[@Linda_Djr]

hi ,
could you please state the 3rd and 5th rules of the algorithm ? i find the way you explained them very easy to understand :)
thank you .

[@DarkPulseBee]

Got confused, but I will get use to it

[@kakimoka147]

Thx !

[@lala-jy4kz]

Where to see the rules, which correspond with those numbers on the left side of the paper?

[@kemichethiziri2893]

) expected !

[@delzarohabash1999]

you saved my fucking life

[@afrazsalim1748]

a is not function , it's constant

[@anon-qx1zt]

Typically in first order logic, constants are functions with zero parameters, so technically she was right. Get your facts straight homie.