Talk:Syntax and semantics of logic programming

More footnotes
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)


 * 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.  Onel 5969  TT me 13:19, 10 March 2023 (UTC)