Claim · 1974 · publication · Stated in source · Supported

Kowalski (1974) bases the interpretation of predicate logic as a programming language on reading implications of the form 'B if A1 and … and An' as procedure declarations, with problems posed as theorems to be proved and proofs as computations.

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

Predicate Logic as Programming Language → discusses →

Where it appears

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

Claim and evidence

Predicate Logic as Programming Languagediscusses ↓

Machine-checked, not reviewed by an editorStated in sourceSupported

Supporting evidence: primary · 1 source

Date: 1974 · publication Records dated 1974 →

Scope and limitsDefining statement read from the scanned abstract.

The evidence 01

primary sourceSupports the claim

Predicate Logic as Programming Language

North-Holland (Information Processing 74); scan on the author's site (doc.ic.ac.uk/~rak) · 1974

Cite the original source

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

Paraphrase

The abstract states that the interpretation rests on reading implications 'B if A1 and... and An' as procedure declarations, where B is the procedure name and A1... An the procedure calls of its body; an axiomatisation of a problem domain is a program, individual problems are posed as theorems to be proved, and proofs are computations generated by the theorem-prover.

Location in source PDF p. 1, 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. 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. The concept is explicitly discussed in the document. This makes no earliest-use, invention or transmission claim.

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

Record ID th-lp-def-kowalski-1974