This chapter provides a brief introduction to the syntax and
semantics of a certain subset of logic (definite clauses,
also known as Horn clauses), and indicates how this subset forms
the basis of Prolog.
Syntax: Syntax, Terminology and Informal Semantics