Talk:Progol

Possible conflict of interest
Since "(developed by Stephen Muggleton)" was added after the word Progol by user User:Smuggleton, I'm guessing that was by the same Stephen Muggleton. I don't doubt he created Progol, but the Conflict of interest guidelines suggest a person shouldn't mention themselves in this way. I removed it for this reason. Hopefully someone else can re-add information about Progol's creation, with a citation. Such information would probably fit more gracefully sometime after the lead sentence. (Oh, forgot signature:) -Agyle 09:02, 6 August 2007 (UTC)

Attention needed
Chaosdruid (talk) 01:55, 8 August 2010 (UTC)
 * Refs
 * Orphan = link to other articles
 * Expand

What is the correct word case "PROGOL" or "Progol"
Hi, what is the correct word case of the title of this article? As I searched, Stephen Muggleton in his article "Inverse Entailment and Progol" both in title and in the text of article, always used it as "Progol" i.e., only the first letter is in upper case, and others are in lower case. Can We change the title of article into "Progol"? Thanks, Hooman Mallahzadeh (talk) 09:15, 13 April 2021 (UTC)
 * Any idea? Hooman Mallahzadeh (talk) 04:07, 14 April 2021 (UTC)