Your case 3 is the typical interpretation. "Pure Prolog" is one where all rules are Horn clauses, i.e. conjunctions of goals. As you stated, monotonic Prolog programs do not use nonmonotonic features like negation. Pure monotonic Prolog combines both good practices.

See also: https://en.m.wikipedia.org/wiki/Prolog#Rules_and_facts