Understanding Herbrand Logic

When we write logic programs, what are we actually talking about? Herbrand Logic provides the semantic framework for understanding systems like Prolog. Vocabulary and Terms In Herbrand logic, our "universe" isn't made of physical objects, but of the ...