To me, "pure Prolog" means first-order logic limited to Horn clauses + the unique name assumption + the closed-world assumption.
But others apparently disag
