What mathematical formalism underlies logic programming? What is a Horn clause? Briefly describe the process of resolution in logic programming. What is a unification? Why is it important in logic...

What mathematical formalism underlies logic programming? What is a Horn clause? Briefly describe the process of resolution in logic programming. What is a unification? Why is it important in logic programming? What are clauses, terms, and structures in Prolog? What are facts, rules, and queries?