What are Horn clauses in prolog

What is the alphabet of Prolog?

Rules in prolog are

Queries in prolog are

How do lists work in prolog?

How do you search for an element of a list

How do you add an element to a list? Delete an element? Append two lists? Sublist?

Example of list operations:

What is unification?

What is equality in prolog?

How does arithmetic and ‘is’ work in prolog?

More unification

What are control algorithms in prolog?

Control algorithm examples

What are prolog trees and how do they work?
Review slides and vid as well