Talk:Declarative programming

In the page-preview for the first mention of "SQL" — Preceding unsigned comment added by 142.161.137.88 (talk) 23:32, 12 June 2019 (UTC) [reply ]

lisp is imperative and sml is functional

this article reads like it's been lifted from a seo blogspam 206.191.44.34 (talk) 14:32, 25 July 2022 (UTC) [reply ]

The given example doesn't work as expected. Ordinary Prolog doesn't admit higher-order predicates, which are, however, used at e.g. cat(tom). along with animal(cat). I'm not sure whether the example can be fixed, or needs to be replaced. - Jochen Burghardt (talk) 14:28, 30 June 2023 (UTC) [reply ]

I came up with a version that I could get running in the expected way:

cat(tom).
mouse(jerry).
animal(X) :-
 cat(X).
animal(X) :-
 mouse(X).
big(X) :-
 cat(X).
small(X) :-
 mouse(X).
eat(X,Y) :-
 mouse(X),
 cheese(Y).
eat(X,Y) :-
 big(X),
 small(Y).

After loading that code, the query eat(tom,jerry). will succeed, while e.g. eat(jerry,tom). will fail. However, I can't align this new code with the current pseudo-linguistic fuss about "set theory facts", "adjective facts ", and "relationships", which I suspect to be at best WP:OR, anyway. If there is no objection, I'll replace the example by just the bare code above. - Jochen Burghardt (talk) 14:15, 3 July 2023 (UTC) [reply ]

Please replace the psuedo-Prolog code by correct Prolog.

How did it get there? And how long has it been there? Shocking! 2.100.99.88 (talk) 21:32, 6 July 2023 (UTC) [reply ]

Would be nice if this article had a history section. Gkochanowsky (talk) 07:15, 7 July 2023 (UTC) [reply ]

This article is, quite frankly, a mess. I think it should be rewritten entirely. ~2025-33832-23 (talk) 00:31, 17 November 2025 (UTC) [reply ]

Since when is Lisp declarative? Even the example given in the article is imperative. As an ip suggested above, there is need for a full rewrite. I will delete the Lisp example anyway. Yesterday, all my dreams... (talk) 10:35, 22 December 2025 (UTC) [reply ]