Talk:Syntax and semantics of logic programming

Latest comment: 1 year 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