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. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Archives: 1 |
This
level-5 vital article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||
|
The contents of the Relational programming page were merged into Logic programming. For the contribution history and old versions of the redirected page, please see its history; for the discussion at that location, see its talk page. |
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)
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)
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)
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)
These and other changes have now been made. The most significant change is that the semantics subsection has been simplified, so that it now deals only with the Horn clause case, and it comes between the A=L+C and negation subsections. The problem solving subsection has been absorbed into the A=L+C section. The negation subsection now contains a discussion of the semantics of negation more generally. The metalogic programming subsection has been moved from Extensions to Concepts. A new subsection on LP and human thinking has been added. Robert Kowalski ( talk) 09:27, 2 December 2023 (UTC)
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. |
Article policies
|
Find sources: Google ( books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Archives: 1 |
This
level-5 vital article is rated C-class on Wikipedia's
content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||||||||||||||||||||||||||
|
The contents of the Relational programming page were merged into Logic programming. For the contribution history and old versions of the redirected page, please see its history; for the discussion at that location, see its talk page. |
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)
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)
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)
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)
These and other changes have now been made. The most significant change is that the semantics subsection has been simplified, so that it now deals only with the Horn clause case, and it comes between the A=L+C and negation subsections. The problem solving subsection has been absorbed into the A=L+C section. The negation subsection now contains a discussion of the semantics of negation more generally. The metalogic programming subsection has been moved from Extensions to Concepts. A new subsection on LP and human thinking has been added. Robert Kowalski ( talk) 09:27, 2 December 2023 (UTC)