Real world example of Unification in First Order Logic?
- by Sebi
I know this is only part of a programming question, but at the moment, I'm doing a little bit of logic programming. One thing I still don't understand correctly is Unification in First Order Logic.
I read the Wikipedia article and it is more or less clear that the purpose is searching a term that unifies two sentences... There are also examples in…