What's the difference between proser and prover?

Proser

---

Definition:

• (n.) A writer of prose.
• (n.) One who talks or writes tediously.

Example Sentences:

Prover

---

Definition:

• (n.) One who, or that which, proves.

Example Sentences:

• (1) This paper deals with the application of an AI language, based on mechanical theorem prover (PROLOG), to deduce drug interactions.