1. Nothing, theoretically (but see 2, 3, 4)
2. They are for different domains/problems
3. Both are based on the same formal background (1st order predicate calculus IIRC)
4. Learn both. It's not hard and they're both useful and it won't be a waste of your time.
1. Nothing, theoretically (but see 2, 3, 4)
2. They are for different domains/problems
3. Both are based on the same formal background (1st order predicate calculus IIRC)
4. Learn both. It's not hard and they're both useful and it won't be a waste of your time.