Claim · 1988-01 · publication · Stated in source · Supported

Kowalski (1988) writes that the name Prolog was suggested by Roussel's wife, Jacqueline, as an abbreviation for 'programmation en logique'.

One recorded claim. The claim panel gives its qualification, the source passages with their place in each source, and how it was checked.

What it connects

The Early Years of Logic Programming → explicitly credits → Jacqueline Roussel (named in the source as "Roussel's wife, Jacqueline")

Where it appears

No collection page holds this claim. It is listed with its records in the explorer.

Claim and evidence

The Early Years of Logic Programmingexplicitly credits ↓Jacqueline Roussel (named in the source as "Roussel's wife, Jacqueline")

Machine-checked, not reviewed by an editorStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 1988-01 · publication Records dated 1988 →

Scope and limitsAttributed statement of Kowalski (1988). Colmerauer and Roussel (1992) say that Philippe Roussel chose the name and, later in the same text, credit his wife’s suggestion; suggesting and choosing are different roles. Both accounts are recorded; naming credit is not adjudicated. The person credited is named as the source names her; no person record is made for her.

The evidence 01

primary sourceSupports the claim

The Early Years of Logic Programming

Communications of the ACM; PDF on the author's site · 1988-01

Cite the original source

Cite the original document, not Selekoa. Check these details against it.

Source excerpt

“The name was suggested by Roussel's wife, Jacqueline, as an abbreviation for programmation en logique.”

Location in source PDF p. 1, column 1

How it was read Retrieved directly from the publisher

Machine-checked · 2026-10-31

Source details and check notes

Authors: Robert A. Kowalski
Version: Retrieved for the candidate pack on 2026-10-29 (SHA-256 776f9eec80748ad8896cbddc3eb574fba33ca484602369c4c1ee4302b9d0df33). Scan of the CACM printing with a text layer, on the author's site
Canonical address: Open the canonical source ↗
Accessed: 2026-10-29
Language: English (en)
Attribution: Robert A. Kowalski, “The Early Years of Logic Programming”, 1988-01.
Reuse: No open redistribution licence asserted. Bibliographic metadata, editorial paraphrases and short attributed quotations (at most 50 words each). Recheck terms before wider redistribution.
Check notes: Candidate pack passage, Kinds of AI and technical history (research/technical-history). The quotation (15 words) matched the text retrieved for the candidate pack on 2026-10-29. Matching ignored differences of whitespace, case, quotation marks, dashes, PDF line-break hyphens and Unicode compatibility forms, so the source’s typography can differ. A cross-family machine check (31 October 2026, item 97) re-read the record’s sources and found that they support what the record states. Its point that the naming credit is recorded from both accounts without adjudication was applied at admission. No human editorial review.

Status and meaning

Editorial status. Not reviewed by an editor. An exploratory record that no editor has accepted. This status does not say whether a person has read any linked passage. Each evidence record above shows how it was checked.

Relation. A document expressly attributes intellectual or practical contribution to a named actor, with the scope retained in the claim.

Date. Date of publication, as the source gives it.

Record ID th-lp-credit-kowalski-1988-prolog-name