Predicate Logic as Programming Language
Robert Kowalski, “Predicate Logic as Programming Language”. Information Processing 74 (IFIP Congress proceedings), North-Holland (published 1974). IFIP 74 congress, Stockholm, as recalled by the author in 1988 (date claimed by a later account or citation: August 1974).
- Issued by
- No issuing record yet. A missing record is a gap in coverage.
- Authors credited
- No authorship claim recorded yet. The source record lists Robert Kowalski.
- Dates
- No date claim recorded yet. The source record gives the publication date as 1974.
- Exact source
- Predicate Logic as Programming Language North-Holland (Information Processing 74); scan on the author's site (doc.ic.ac.uk/~rak) · published 1974 · 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
Appears in
No collection holds a record about this document yet.
Versions
No other versions of this document are recorded. The evidence applies to the source version listed above. Other versions, such as a preprint, working paper or journal publication, are not identified or substituted.
Documentary relations
Each relation is listed separately. Citing, crediting and reporting the use of a method are different acts, and none of them shows agreement or influence by itself.
Discusses · 1
Concepts explicitly discussed. No earliest use, invention or transmission is claimed.
Not recorded for this document: cites · cited by · explicitly credits · reports using a method from · method reported as used by · applies parts of · parts applied by · reports evaluation of. A missing record does not show that the relation does not exist.