Claim and evidence Close ×
Kowalski's 'Predicate Logic as Programming Language' (IFIP 74) presents predicate logic as a programming language and, in its acknowledgment, refers to 'predicate logic programming'. Copy claim link
Copy claim reference
Machine-checked, not reviewed by an editor Stated in source Supported
Supporting evidence: primary · 1 source
Date 1974 · publication Records dated 1974 → Scope and limits Earliest located by the recorded search; not evidence that the name began here. The exact string 'logic programming' appears only within 'predicate logic programming' in the acknowledgment; the title uses a close variant. Kowalski's 1972 and November 1973 versions were not retrieved.
The evidence 02 primary source Supports the claim
Predicate Logic as Programming Language ↗ North-Holland (Information Processing 74); scan on the author's site (doc.ic.ac.uk/~rak) · 1974
Copy source reference
Cite the original source Cite the original document, not Selekoa. Check these details against it.
Copy APA
Download BibTeX Download RIS Download CSL-JSON
Paraphrase The acknowledgment thanks David Warren and Maarten van Emden for their 'encouragement and enthusiasm for predicate logic programming'.
Location in source PDF p. 5 (proceedings p. 573), Acknowledgment
How it was read Retrieved directly from the publisher
Machine-checked · 2026-10-31
Source details and check notes Authors Robert Kowalski Version Retrieved for the candidate pack on 2026-10-29 (SHA-256 df0e1261cbe85d2d1c2046ef2c494f057c7d4ca33ca4e6e6e34d06ffb2c415f7). Scan of the proceedings printing (pp. 569–574 by the page numbers shown); no text layer Canonical address Open the canonical source ↗ Accessed 2026-10-29 Language English (en) Attribution Robert Kowalski, “Predicate Logic as Programming Language”, 1974. 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 paraphrase is Selekoa’s, written from the text retrieved for the candidate pack on 2026-10-29; it is not a quotation and was not machine-matched. Read from the page image; the scan has no text layer. A cross-family machine check (31 October 2026, item 96) re-read the record’s sources and found that they support what the record states. No human editorial review. primary source Supports the claim
Predicate Logic as Programming Language ↗ North-Holland (Information Processing 74); scan on the author's site (doc.ic.ac.uk/~rak) · 1974
Copy source reference
Cite the original source Cite the original document, not Selekoa. Check these details against it.
Copy APA
Download BibTeX Download RIS Download CSL-JSON
Paraphrase The title is 'Predicate Logic as Programming Language'; the abstract states the thesis that predicate logic is a useful and practical, high-level, non-deterministic programming language with sound theoretical foundations.
Location in source PDF p. 1, title and abstract
How it was read Retrieved directly from the publisher
Machine-checked · 2026-10-31
Source details and check notes Authors Robert Kowalski Version Retrieved for the candidate pack on 2026-10-29 (SHA-256 df0e1261cbe85d2d1c2046ef2c494f057c7d4ca33ca4e6e6e34d06ffb2c415f7). Scan of the proceedings printing (pp. 569–574 by the page numbers shown); no text layer Canonical address Open the canonical source ↗ Accessed 2026-10-29 Language English (en) Attribution Robert Kowalski, “Predicate Logic as Programming Language”, 1974. 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 paraphrase is Selekoa’s, written from the text retrieved for the candidate pack on 2026-10-29; it is not a quotation and was not machine-matched. Read from the page image. A cross-family machine check (31 October 2026, item 96) re-read the record’s sources and found that they support what the record states. 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 passage of the document uses a name for a family of methods or a term, in the sense the concept’s naming criterion describes or, where labelled, in another sense. The record documents the use; it is not evidence that the name began there, and it implies no influence on or from another text.
Date. Date of publication, as the source gives it.
Record ID th-lp-name-kowalski-1974