Talk:Logic programming

This is the talk page for discussing improvements to the Logic programming article.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Archives: 1

Template:Vital article

Computer science C‑class Top‑importance

This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.Computer scienceWikipedia:WikiProject Computer scienceTemplate:WikiProject Computer scienceComputer science

C

This article has been rated as C-class on Wikipedia's content assessment scale.

Top

This article has been rated as Top-importance on the project's importance scale.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Delete redirect Relational programming?

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)[reply]

It would be better to add something about Relational programming here. The type of material we need is hinted at in wiki.c2.com?RelationalProgramming. 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)[reply]

"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)[reply]

Include discussion of kanren, miniKanren, microKanren

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)[reply]

The make Program is a Logical Programming Language

make is a program that should be included in this discussion of Logical Programming. It is the most frequently used Logical Programming Language. 50.206.176.154 (talk) 22:11, 14 January 2022 (UTC)[reply]

I do not believe that make is a logic programming language. Can you provide reliable sources that say otherwise?

siddharthist (talk) 16:25, 5 March 2023 (UTC)[reply]

Restructuring the article

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)[reply]