Programming in Prolog

1984 · 1,761 citations · 3 from inside this corpus

No abstract in the source record.

3 of 3 neighbouring works in this corpus. Blue is what this paper cites; orange is what cites it, and a dashed line is one neighbour citing another. Only the largest labels are drawn — every node carries its full title on hover.

this paper works it cites works citing it node size = global citations · hover for the full title

What cites it, inside the corpus

Paper	Year	Cited
An assumption-based TMS	1986	1,759
Logical foundations of object-oriented and frame-based languages	1995	1,459
Inverse entailment and progol	1995	1,417

Links

DOI · OpenAlex record

Topics

Logic, programming, and type systems	Computer Science
Logic, Reasoning, and Knowledge	Computer Science

Is this record sound?

partial

One field of this record is missing or disagrees with another. What is shown below is what the source publishes.

supports2 author record(s) attached.
weakensNo references are recorded despite 1,761 citations. A paper this heavily cited did not cite nothing, so the record is incomplete.
neutralThe DOI carries no year to check against.
supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:53+00:00.

sha256 db1645b78a57e29a…