The Meaning of Datalog Rules
Product(prod,pr,cat,mak), Company(mak, sp,“USA”)
Consider every assignment from the variables in the body
to the constants in the database.
If each of the atoms in the body is in the database,
the tuple for the head is in the resulting.