Talk:Logic programming

message: According to the header of this talk page, Relational programming was merged to Logic programming. However, the term "relation programming" isn't mentioned at Logic programming at all, and apparently no content was actually merged when Relational programming was turned into a redirect to Logic programming. So perhaps Relational programming should be deleted? – Tea2min (talk) 12:11, 30 June 2018 (UTC)
replies: text: It would be better to add something about Relational programming here. The type of material we need is hinted at in . There was an old article on Relational programming that you can still see under the Relational programming redirect but it's not very clear. At a minimum, we ought to have something that clarifies the connection between logic programming and relational programming. EdJohnston (talk) 15:57, 30 June 2018 (UTC)
replies: text:  "Relational programming" seems to be the name for logic programming, preferred by many functional programmers. See for example: Friedman, D.P., Byrd, W.E., Kiselyov, O. and Hemann, J., 2018. The reasoned schemer. MIT Press. Here is a quote from the MIT Press web page: "Summary A new edition of a book, written in a humorous question-and-answer style, that shows how to implement  and use an elegant little programming language for logic programming. The goal of this book is to show the beauty and elegance of relational programming, which captures the essence of logic programming.  The book shows how to implement a relational programming language in Scheme, or in any other functional language, and demonstrates the remarkable flexibility of the resulting relational programs."Logperson (talk) 15:26, 9 July 2018 (UTC)

text:  A section, Relationship with relational programming, has now been added to the article, and the redirect has been changed to redirect to the section. — Preceding unsigned comment added by Robert Kowalski (talk • contribs) 14:43, 17 February 2024 (UTC)
thread_title:  Delete redirect [[Relational programming]]? 

message: See an excellent overview of the miniKanren logic programming approach vs Prolog, and don't forget Mercury, Curry, Gödel. ★NealMcB★ (talk) 22:23, 23 December 2019 (UTC)
thread_title:  Include discussion of kanren, miniKanren, microKanren 

message: I have made a start on restructuring the article, mainly to acknowledge the greater importance of negation in the bodies of  clauses. I started to edit the semantics subsection of the Concepts section. But it is now becoming too complicated, and I think it needs to be moved to the end of the section and after the subsection on negation. This is the new order that I propose for the Concepts section: Logic and Control, negation (and not just negation as failure), knowledge representation, problem solving, semantics and goal solution strategies. Maybe there should also be a subsection on LP and human thinking, reflecting the work of Stenning and van Lambalgen and others. See Stenning, K. and Van Lambalgen, M., 2012. Human reasoning and cognitive science. MIT Press.Human reasoning and cognitive science with 676 citations on google scholar.Robert Kowalski (talk) 09:44, 2 October 2023 (UTC)
thread_title:  Restructuring the article