Edge Rewrite
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a2216c8bbe893a24

Jump to content

Talk:Syntax and semantics of logic programming

Page contents not supported in other languages.
Add topic
From Wikipedia, the free encyclopedia
Latest comment: 3 years ago by Onel5969 in topic More footnotes

More footnotes

[edit]

@Onel5969: I see you added a "more footnotes" template. It looks to me like every section except for the lead has footnotes, can you say more about where you'd like to see additional footnotes? It might be a little unclear because sometimes a footnote covers the entire preceeding paragraph. Is there a way I could make that more obvious? siddharthist (talk) 13:10, 10 March 2023 (UTC)Reply

I agree it is difficult, especially with these types of articles. The examples I would give are: the short paragraph which begins the Datalog section; the "Rules with empty bodies" portion of the Syntax section; The Syntactic Sugar and example; the final several sentences of the Proof-theoretic section; and the opening to the Negation section. There are a few others, but those are the main ones. Hope this helps. Onel5969 TT me 13:19, 10 March 2023 (UTC)Reply